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

摘要：

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

机标关键词：部分求值、程序优化、实现方法、软件自动化技术、应用研究、编译优化技术、执行效率、优化问题、算法优化、实现技术、软件系统、求值技术、分类方法、新技术、原理、矛盾、步进

所属期刊栏目：29

分类号：TP3;TN3

资助基金：国家自然科学基金;北京市自然科学基金;面向21世纪教育振兴行动计划985计划

在线出版日期：2005-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：87-89