SoD: Language Towers as Design Frameworks

语言塔作为设计框架Olin Shiver，Panagiotis Manolios(佐治亚理工学院)0438871；Matthew Flatt(犹他大学)0438847好的符号使好的设计成为可能：它们引导设计师的努力远离不可行的设计，突出特定设计的新奇方面，抑制不必要的细节，并允许对所描述的文物进行人工和自动推理。不幸的是，要在元设计级别实现支持新的、扩展的或特定于域的符号的设计的工具套件，需要大量的工作。这种人工开销意味着，对于大多数设计师和工程师来说，将符号设计或元设计结合到他们的设计方法中是不现实的。本研究探索开发元工具，以允许开发专门的符号，使设计师能够更好地表达和推理他们的制品。研究的重点是启用设计构件的设计时推理-编程语言社区所称的“静态语义”。由此产生的框架允许构建“语言塔”，即在不同抽象级别定义的符号，通过在塔的不同级别之间以程序编码的静态语义(分析)和动态语义(翻译)进行链接。虽然这项工作源于方案宏观系统背后的研究，但它的目的是应用于具有更多静态语义内容的语言框架。

AbstractLanguage Towers as Desigh FrameworksOlin Shivers, Panagiotis Manolios (Georgia Tech) 0438871; Matthew Flatt (University of Utah) 0438847Good notations enable good design: they channel designer effort away from infeasible designs, highlight novel aspects of a specific design, supress inessential detail, and enable both human and automated reasoning about the artifact being described. Unfortunately, a tremendous amount of labor is required at the meta-design level to implement the tool suites supporting design in a new, extended, or domains-specific notation. This labor overhead means it is not practical for most designers and engineers to incorporate notation design, or meta-design, into their design methodology.This research explores developing the meta-tools to allow the development of specialized notations, allowing designers to better express and reason about their artifacts. The focus of the research is on enabling design-time reasoning---what the programming-language community refers to as "static semantics"---of the designed artifact.The resulting framework allows the construction of "language towers," that is, notations defined at varying levels of abstraction, linked by procedurally-encoded static semantics (analyses) and dynamic semantics (translations) between the levels of the tower. While the work has its origin in the research underlying the Scheme macro system, it is intended to be applied to language frameworks that have much greater static-semantic content.