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.

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