Type Safe Program Generators

类型安全程序生成器

• 批准号: 9625462
• 负责人: Tim Sheard
• 金额: $ 32.5万
• 依托单位: Oregon Graduate Institute of Science & Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-10-15 至 2000-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9625462&HistoricalAwards=false
• 关键词: Type; Safe; Program; Generators

This research project investigates the tight integration of program generation facilities into typed languages. Present program generation technology can be classified as either integrated with the language environment, as are macros in Lisp, or external to the language, as are yacc and lex for C. Within language-integrated generators, the taxonomy can be further refined into tightly-integrated generators, exemplified by reflective systems, and loosely-integrated generators, such as macro preprocessors. Tight integration of generators into typed languages gives rise to a number of problems to which solutions must be found. However, the benefits of increased expressiveness, efficiency, productivity, reusability, reliability, and quality makes research into solving these problems worthwhile. If the project is successful, it will provide a clearer semantics to a reflective ML-like language tailored for building generator systems, illustrate how such a reflective language can be restricted to maintain the invariants of strong typing, design a meta-programming system to prevent variable capture or design hiding, and build a programming environment where generated code can be seamlessly integrated with code produced in more traditional ways.

这个研究项目调查了程序生成工具与类型化语言的紧密集成。目前的程序生成技术可以分为与语言环境集成的技术，就像在LIP语言中的宏一样，或者在语言的外部，就像C的yacc和lex一样。在语言集成的生成器中，分类可以进一步细化为紧密集成的生成器，例如反射系统，以及松散集成的生成器，例如宏预处理器。生成器与类型化语言的紧密集成带来了许多必须找到解决方案的问题。然而，提高表现力、效率、生产力、可重用性、可靠性和质量的好处使解决这些问题的研究变得值得。如果该项目成功，它将为为构建生成器系统量身定做的反射类ML语言提供更清晰的语义，说明如何限制这种反射语言以维护强类型的不变量，设计元编程系统以防止变量捕获或设计隐藏，并构建一个编程环境，在该环境中，生成的代码可以与以更传统方式生成的代码无缝集成。