CAREER: Multi-stage Programming for Object-Oriented Languages

职业：面向对象语言的多阶段编程

• 批准号: 0747431
• 负责人: Walid Taha
• 金额: $ 40万
• 依托单位: William Marsh Rice University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-02-15 至 2010-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0747431&HistoricalAwards=false
• 关键词: CAREER; Multi; stage; Programming; Object

Proposal Number 0747431TITLE CAREER: Multi-stage Programming for Object-Oriented Languages PI Walid Taha, Rice UniversityOver the past decade, multi-stage programming (MSP) has emerged as a unifying approach that captures the disciplined essence program generation. Early work on MSP focused on purely functional languages. The goal of this proposal is to put what we know about MSP to work in the context of mainstream languages such as Java and C#. This will be achieved by means of carefully designed, minimal extensions that provide an expressive, statically checked mechanism for effectively eliminating the interpretive overhead.The project will design an object-oriented language that provides statically checked support for the writing of program generators. The language, called The Java Program Mint (Mint) will support: 1. Staging constructs that are statically checked before expansion/generation, 2. Indexed types, to enable further optimizations that are particularly synergistic with staging, and 3. Disciplined, statically typed compile-time computation. The design of Mint will be evaluated by establishing formal safety and expressivity results, and the implementation will be evaluated by building demonstration applications. The novel features of Mint will have the most impact on applications that use reflection and that constitute domain-specific language (DSL) extensions, such as serializers, JavaBeans customization facilities, and synchronization libraries.

提案编号 0747431 标题职业：面向对象语言的多阶段编程 PI Walid Taha，莱斯大学 在过去的十年中，多阶段编程 (MSP) 已经成为一种统一的方法，捕获了规范的本质程序生成。 MSP 的早期工作集中于纯函数式语言。该提案的目标是将我们对 MSP 的了解应用到 Java 和 C# 等主流语言的环境中。这将通过精心设计的最小扩展来实现，这些扩展提供了一种富有表现力的静态检查机制，以有效地消除解释开销。该项目将设计一种面向对象的语言，为程序生成器的编写提供静态检查支持。这种名为 The Java Program Mint (Mint) 的语言将支持： 1. 在扩展/生成之前静态检查的暂存构造，2. 索引类型，以实现与暂存特别协同的进一步优化，以及 3. 规范的静态类型编译时计算。 Mint 的设计将通过建立正式的安全性和表现力结果进行评估，实施情况将通过构建示范应用程序进行评估。 Mint 的新颖功能将对使用反射和构成特定于域语言 (DSL) 扩展的应用程序产生最大的影响，例如序列化器、JavaBeans 定制工具和同步库。