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.

抽象语言塔作为Desigh Frameworksolin颤抖，Panagiotis manolios（Georgia Tech）0438871;马修·弗拉特（Matthew Flatt）（犹他大学）0438847 -Good符号启用了良好的设计：他们从不可行的设计中引导了设计师的努力，突出了特定设计的新颖方面，不必要的细节，并启用了人类和自动化的推理。不幸的是，在元设计级别上需要大量的劳动力，以在新的，扩展或特定领域的符号中实施支持设计的工具套件。该劳动力间接费用意味着大多数设计师和工程师将符号设计或元设计纳入其设计方法是不切实际的。这项研究探讨了开发元工具以允许开发专用符号的元工具，从而使设计师可以更好地表达其文物的表达和理由。这项研究的重点是启用设计时间推理 - 编程语言社区所说的是设计工件的“静态语义” - 所产生的框架允许构建“语言塔”，即，在抽象的不同级别上定义的符号，通过程序上的静态静态语义（分析）和动态（分析）（分析）（分析）（分析）（分析）（分析）（分析）（分析）（分析）（分析）（分析）（分析）（分析）。 尽管这项工作起源于计划宏观系统的研究，但它旨在应用于具有更大静态语义内容的语言框架。