Multiple Interpretations of Domain-Specific Languages

特定领域语言的多种解释

• 批准号: 9970980
• 负责人: John Launchbury
• 金额: $ 32.5万
• 依托单位: Oregon Health & Science University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-09-15 至 2003-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9970980&HistoricalAwards=false
• 关键词: Multiple; Interpretations; Domain; Specific; Languages

9970980 Launchbury, John Oregon Graduate InstituteMultiple Interpretations of Domain-specific LanguagesRecently, domain-specific languages (DSLs) have become a popular topic of research. Their promise is in their expressiveness. The programmer becomes concerned with specifying what computation is to be performed, and not with low level detail such as storage, or the order in which to perform computation. When a DSL is defined, the designer will have a primary interpretation in mind. For hardware description languages, for example, the primary interpretation may be a description of how individual gates and primitive circuits are to be wired together. However, DSLs also often have secondary interpretations. Again, a hardware description language may have simulators that provide it with a different semantics: an executionsemantics, which allow for testing circuits before they are committed to silicon. For these two distinct meanings to be useful, they must be coherent in some precise sense, perhaps expressed by a commuting diagram. This research investigates the principles and practice of multiple interpretations of DSLs. The expected outcomes include techniques for providing multiple coherent interpretations to DSLs; application of these techniques in the context of Hawk, a domain-specific language for specifying microprocessor microarchitectures; and a demonstration of the value of multiple interpretations by obtaining new results in microarchitecture verification.

9970980 Launchbury，John 俄勒冈州研究生院领域特定语言的多种解释近年来，领域特定语言（DSL）已成为一个热门的研究课题。他们的承诺是在他们的表达。程序员开始关心指定要执行什么计算，而不是低级细节，如存储或执行计算的顺序。当定义DSL时，设计人员将在脑海中有一个主要的解释。例如，对于硬件描述语言，主要解释可以是对各个门和原始电路如何连接在一起的描述。然而，领域特定语言通常也有次要的解释。同样，硬件描述语言可能有模拟器，为它提供不同的语义：执行语义，允许在将电路提交给硅之前对其进行测试。要使这两个不同的意义有用，它们必须在某种精确的意义上是一致的，也许可以用一个交换图来表达。本研究探讨了领域特定语言的多重解释的原则和实践。预期的成果包括技术提供多个连贯的解释DSL;应用这些技术的背景下，鹰，特定领域的语言，用于指定微处理器的微架构;和演示的价值，多个解释获得新的结果，在微架构验证。