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 John Oregon Launchbury，John Oregon研究生研究生学院对领域特定语言的解释，特定于领域的语言（DSL）已成为研究的流行话题。他们的诺言在于他们的表现力。程序员会关注指定要执行的计算，而不是具有较低级别的细节，例如存储或执行计算的顺序。当定义DSL时，设计师将考虑一个主要的解释。例如，对于硬件说明语言，主要的解释可能是对单个门和原始电路如何连接在一起的描述。但是，DSL通常也具有次要解释。同样，硬件说明语言可能具有模拟器，可为其提供不同的语义：执行器，该语言可以在将电路进行测试之前进行测试。为了使这两种不同的含义有用，它们必须从某种意义上是连贯的，也许是通过通勤图表示的。这项研究调查了DSL的多种解释的原理和实践。预期的结果包括为DSL提供多种连贯解释的技术；这些技术在Hawk的背景下应用，Hawk是一种特定于域的语言，用于指定微处理器微体系结构；并通过获得微体系结构验证中的新结果来证明多种解释的价值。