Low Level Aspects of Partial Evaluation and Program Specialization

局部评价是近年来发展起来的一个较为成熟的领域，在各个领域都有广泛的应用。然而，到目前为止，大部分关于部分求值的工作依赖于使用关于数据值的知识来指导程序代码的专门化。本项目将研究使用部分求值进行对偶优化，使用有关程序的知识来指导数据表示的专门化。该项目将开发、实施和评估在增强解释器的部分评估方面制定低级数据表示优化的技术，以及结合实际问题的技术，例如在剩余代码中放置表示转换操作。

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.