SoD: Language Towers as Design Frameworks

SoD：语言塔作为设计框架

• 批准号: 0438847
• 负责人: Matthew Flatt
• 金额: $ 18万
• 依托单位: University of Utah
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-01-01 至 2007-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0438847&HistoricalAwards=false
• 关键词: SoD; Language; Towers; Design; Frameworks

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.

作为设计框架的语言塔Olin Shivers，Panagiotis Manolios（格鲁吉亚理工学院）0438871; Matthew Flatt（犹他州大学）0438847好的符号使好的设计成为可能：它们引导设计者的努力远离不可行的设计，突出特定设计的新颖方面，抑制不必要的细节，并使人类和自动推理能够对所描述的工件进行推理。不幸的是，在元设计级别需要大量的劳动力来实现支持新的、扩展的或特定于域的符号的设计的工具套件。这种劳动力开销意味着它是不切实际的，大多数设计师和工程师将符号设计，或元设计，到他们的设计methodology.This研究探讨开发的元工具，允许开发专门的符号，让设计师更好地表达和推理他们的工件。研究的重点是使设计时的推理-什么编程语言社区称为“静态语义”-的设计artifaction.The最终框架允许建设“语言塔”，即，符号定义在不同层次的抽象，通过程序编码的静态语义（分析）和动态语义（翻译）之间的塔的水平。 虽然这项工作起源于Scheme宏系统的基础研究，但它旨在应用于具有更大静态语义内容的语言框架。