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俄勒冈州朗奇伯里研究生院领域特定语言的多重解释最近，领域特定语言(DSL)成为一个热门的研究主题。他们的承诺在于他们的表现力。程序员开始关注于指定要执行什么计算，而不是诸如存储或执行计算的顺序之类的低级别细节。当定义DSL时，设计人员将在脑海中有一个主要的解释。例如，对于硬件描述语言，主要解释可以是对如何将各个门和原语电路连接在一起的描述。然而，DSL也常常有次要的解释。同样，硬件描述语言可能具有模拟器，为其提供不同的语义：执行语义，允许在电路被提交到硅之前对其进行测试。为了让这两种不同的含义有用，它们必须在某种精确的意义上是一致的，或许可以用通勤图表来表达。本研究探讨了二语习得多元解释的原则和实践。预期的结果包括：为DSL提供多个连贯解释的技术；这些技术在用于指定微处理器微体系结构的特定领域语言Hawk的上下文中的应用；以及通过在微体系结构验证中获得新的结果来证明多个解释的价值。