Heterogeneous Meta Programming Systems

异构元编程系统

• 批准号: 0098126
• 负责人: Tim Sheard
• 金额: $ 31.11万
• 依托单位: Oregon Health & Science University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-06-01 至 2005-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0098126&HistoricalAwards=false
• 关键词: Heterogeneous; Meta; Programming; Systems

The project studies typed heterogeneous meta-programming systems where the meta-language and the object-language are different languages, with different type systems. The objective of the project is to design and implement a system with a fixed meta-language, in which it is possible to build different systems with different object-languages, or one system with multiple object-languages.The project studies how to integrate the multiple type systems that must coexist in a heterogeneous meta programming system. The type system of the meta-language must be extensible, in a manner that makes it possible to incorporate the type systems of arbitrary object languages. The goal is to produce a system where type correct meta-programs produce only type-correct object-programs. Ideas from extensible kinds, higher-order abstract syntax, intensional analysis of code, indexed-types, and the use of constrained type systems will be investigated as mechanisms to accomplish these goals.

该项目研究类型化的异构元编程系统，其中元语言和对象语言是不同的语言，具有不同的类型系统。该项目的目标是设计和实现一个具有固定元语言的系统，可以用不同的对象语言构建不同的系统，也可以用多个对象语言构建一个系统，研究如何在一个异构元程序设计系统中集成必须共存的多种类型的系统。元语言的类型系统必须是可扩展的，能够合并任意对象语言的类型系统。我们的目标是制造一个系统，在这个系统中，类型正确的元程序只产生类型正确的目标程序。来自可扩展类型、高阶抽象语法、代码的内涵分析、索引类型以及约束类型系统的使用的想法将被作为实现这些目标的机制进行研究。