Principles of Embedded Language Design

嵌入式语言设计原理

• 批准号: 9404786
• 负责人: Paul Hudak
• 金额: $ 22.5万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-09-15 至 1997-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9404786&HistoricalAwards=false
• 关键词: Principles; Embedded; Language; Design

9404786 Hudak This project is in the area of programming language design and implementation. The project will develop new methodologies and tools for the design and implementation of domain specific languages (DSL). The project will apply the following ideas to the embedded language design. Extensible Language Design. Since a large portion of every language design effort is concerned with the design of the syntax, and other minor issues such as conditional statements, boolean and arithmetic operators, the project will investigate the use of generic syntax for the design of DSL's. The idea is to extend the generic syntax in a modular fashion to meet the needs of specific domains. Rapid DSL Realization Using Partial Evaluation. In order to develop DSL compilers quickly, the project will explore the use of partial evaluations. Although the resulting compilers will be less efficient than hand-crafted compilers, they will be constructed quickly and automatically, and they are provably correct with respect to the interpreter specifications. First-Class Tools. The project will apply the methodologies developed by the PI for specifying language tools such as debuggers and profilers, to the development of tools for DSL. ***

9404786 Hudak 该项目属于编程语言设计和实现领域。该项目将开发用于设计和实现领域特定语言（DSL）的新方法和工具。该项目将把以下思想应用到嵌入式语言设计中。 可扩展语言设计。由于每种语言设计工作的很大一部分都与语法设计以及其他小问题（例如条件语句、布尔和算术运算符）有关，因此该项目将研究通用语法在 DSL 设计中的使用。这个想法是以模块化方式扩展通用语法以满足特定领域的需求。 使用部分评估快速实现 DSL。为了快速开发DSL编译器，该项目将探索部分评估的使用。 尽管生成的编译器的效率低于手工编译器，但它们将快速且自动地构建，并且它们在解释器规范方面已被证明是正确的。 一流的工具。该项目将应用 PI 开发的指定语言工具（如调试器和分析器）的方法来开发 DSL 工具。 ***