Multiple Interpretations of Domain-Specific Languages

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

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.