Low Level Aspects of Partial Evaluation and Program Specialization

部分评估和项目专业化的低层次方面

• 批准号: 9711166
• 负责人: Saumya Debray
• 金额: $ 12.55万
• 依托单位: University of Arizona
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-09-15 至 2000-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9711166&HistoricalAwards=false
• 关键词: Low; Level; Aspects; Partial; Evaluation

The field of partial evaluation has matured greatly in recent years, with a wide variety of applications in a diversity of areas. However, most of the work on partial evaluation, to date, relies on using knowledge about data values to guide specialization of program code. This project will investigate the use of partial evaluation for the dual optimization, of using knowledge about a program to guide the specialization of data representations. The project will develop, implement, and evaluate techniques to formulate low level data representation optimizations in terms of partial evaluation of enhanced interpreters, as well as techniques to incorporate pragmatic concerns such as placement of representation conversion operations in the residual code.

近年来，部分求值领域已经非常成熟，在各种各样的领域中有着广泛的应用。 然而，迄今为止，大多数关于部分求值的工作都依赖于使用关于数据值的知识来指导程序代码的专门化。 这个项目将研究使用部分评估的双重优化，使用有关程序的知识来指导数据表示的专业化。 该项目将开发，实施和评估技术，以制定低层次的数据表示优化的增强解释器的部分评估，以及技术，以纳入务实的关注，如在剩余代码中的表示转换操作的位置。