基于部分求值的程序优化及其实现方法

摘要

@@ 一、引言rn在九十年代,部分求值(Partial Evaluation)作为一种新型的软件自动化技术,已经从实现技术的研究阶段逐步进入应用研究阶段.由于部分求值技术不同于传统的算法优化和编译优化技术,其应用有可能解决传统方法无法解决的程序优化问题,有效地缓和软件系统中常见的复杂性和执行效率的矛盾.本文介绍部分求值的基本原理,利用部分求值进行程序优化的方法,以及部分求值分类方法,以求推广这种新技术的研究与应用.