ITR/SY(CISE): Putting Multi Stage Annotations to Work

ITR/SY(CISE)：将多阶段注释投入使用

• 批准号: 0113569
• 负责人: Walid Taha
• 金额: $ 37万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-07-01 至 2003-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0113569&HistoricalAwards=false
• 关键词: ITR; SY; CISE; Putting; Multi

Techniques such as program generation, partial evaluation, just-in-time compilation, and run-time code generation respond to the need for general purpose programs which do not pay unnecessaryrun-time overheads. The thesis of this project is that a uniform, principled, high-level, and practical view of these diverse techniques is possible through multi-stage programming, a novel paradigm for the development of maintainable, high-performance software. The key idea in multi-stage programming is the use of simple, high-level annotations to allow the programmer to break down the cost of a computation into distinct stages.The goal of this proposal is to demonstrate that the theoretical machinery that has been developed for multi-stage programming can be put to work. This project will involve the development of compilersof multi-stage programming languages, addressing both practical and theoretical problems that arise in the development of such systems, and using these compilers in interesting applications ranging from dynamic programming algorithms and rewriting systems to implementations of domain specific programming languages.

诸如程序生成、部分求值、即时编译和运行时代码生成等技术响应了对不支付不必要的运行时开销的通用程序的需求。这个项目的主题是，通过多阶段编程，对这些不同的技术有一个统一的、有原则的、高水平的和实用的观点，这是开发可维护的、高性能软件的一种新范例。多阶段编程的关键思想是使用简单的高级注释，允许程序员将计算成本分解为不同的阶段。这一建议的目标是证明为多阶段编程开发的理论机制可以发挥作用。该项目将涉及开发多阶段编程语言的编译器，解决在开发这种系统时出现的实际和理论问题，并将这些编译器用于从动态编程算法和重写系统到实施特定领域编程语言的各种有趣的应用中。