SoD: Collaborative: Language towers as design frameworks

【摘要】语言塔作为设计框架，solin Shivers, Panagiotis Manolios (Georgia Tech) 0438871；好的符号使好的设计成为可能：它们将设计师的努力从不可行的设计中引导出来，突出特定设计的新颖方面，抑制不必要的细节，并使人类和自动对所描述的工件进行推理成为可能。不幸的是，在元设计级别上需要大量的工作来实现支持以新的、扩展的或特定于领域的符号进行设计的工具套件。这种人力开销意味着对于大多数设计师和工程师来说，将符号设计或元设计合并到他们的设计方法中是不切实际的。本研究探索开发元工具，以允许开发专门的符号，允许设计师更好地表达和推理他们的工件。研究的重点是实现设计时的推理——编程语言社区称之为“静态语义”——设计的工件。由此产生的框架允许构建“语言塔”，即在不同抽象级别上定义的符号，通过程序编码的静态语义（分析）和动态语义（翻译）在塔的各个级别之间连接起来。虽然这项工作起源于Scheme宏系统的基础研究，但它旨在应用于具有更多静态语义内容的语言框架。

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.