• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computer sciencs'99 >Automatic Generation of Compilers and Interpreters from Object-Oriented Specifications of Programming Languages
【24h】

Automatic Generation of Compilers and Interpreters from Object-Oriented Specifications of Programming Languages

机译：根据面向对象的编程语言规范自动生成编译器和解释器

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

An object-oriented formal specification methodology for programming languages is proposed which allows for automatic generation of compilers and interpreters in an object-oriented manner. Our specification approach constructs an object-oriented representation of denota-tional semantics and it is this representation which not only facilitates the specification process, but also allows for implementation of the specifications. Object-oriented specification allows for the abstracting of various common details among programming languages so that formal syntax and semantics can be defined elegantly. This allows for specifications of one language to be developed and then reused to produce specifications of related languages, both at the level of syntax and semantics. Our implementation strategy is to transform the specification into code expressed in the Java programming language and this code may be produced as either an interpreter or a compiler. Since these implementations are automatically developed from the formal specifications, a mechanism is achieved for compiler/interpreter reuse at the specification level.
机译：提出了一种用于编程语言的面向对象的正式规范方法，该方法允许以面向对象的方式自动生成编译器和解释器。我们的规范方法构造了指称语义的面向对象表示，正是这种表示不仅促进了规范过程，而且允许实现规范。面向对象的规范允许抽象编程语言中的各种常见细节，以便可以优雅地定义形式语法和语义。这允许在语法和语义级别上开发一种语言的规范，然后重新使用以产生相关语言的规范。我们的实现策略是将规范转换为用Java编程语言表达的代码，并且该代码可以作为解释器或编译器生成。由于这些实现是从正式规范中自动开发的，因此实现了一种在规范级别重新使用编译器/解释器的机制。

著录项

  • 来源
    《Computer sciencs'99》|1999年|396-407|共12页
  • 会议地点 Aunckland(NZ);Aunckland(NZ)
  • 作者

    Barrett R. Bryant; Viswanathan Vaidyanathan;

  • 作者单位

    Department of Computer and Information Sciences University of Alabama at Birmingham 1300 University Blvd. Birmingham, Alabama 35294-1170, U. S. A.;

    Department of Computer and Information Sciences University of Alabama at Birmingham 1300 University Blvd. Birmingham, Alabama 35294-1170, U. S. A.;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 一般性问题;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号