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，约翰俄勒冈研究生院特定领域语言的多种解释最近，特定领域语言（DSL）已成为热门研究主题。他们的承诺在于他们的表现力。程序员关心的是指定要执行什么计算，而不是低级细节，例如存储或执行计算的顺序。当定义 DSL 时，设计者心中就会有一个主要的解释。例如，对于硬件描述语言，主要解释可能是如何将各个门和原始电路连接在一起的描述。然而，DSL 也常常有二次解释。同样，硬件描述语言可能具有为其提供不同语义的模拟器：执行语义，允许在将电路投入硅片之前对其进行测试。为了使这两种不同的含义有用，它们必须在某种精确的意义上是连贯的，也许可以用通勤图来表达。本研究调查了 DSL 多重解释的原理和实践。预期成果包括为 DSL 提供多种连贯解释的技术；这些技术在 Hawk 环境中的应用，Hawk 是一种用于指定微处理器微体系结构的领域特定语言；并通过在微架构验证中获得新结果来证明多种解释的价值。