-
题名IPM——一种增量计算的自动生成模型
被引量：1
- 1
-
-
作者
廖湖声
-
机构
北京工业大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
1996年第4期61-64,共4页
-
基金
国家自然科学基金
北京市自然科学基金
-
文摘
增量计算在排版系统、编译系统和各种软件工具中有着广泛的应用,而实现一个增量式软件系统往往需要采用复杂的算法设计和艰苦的程序调试.近年来,随着部分求值技术的发展,人们开始研究用于增量计算的通用的程序生成方法,以求从根本上消除使用增量计算实现算法的需求。 有关增量计算自动生成的研究工作,大致可分为两类一类以耶鲁大学的Hudak研究组为代表[lJ,力图建立一种完成增量计算的程序执行环境。在这种环境中,应用程序的每次执行将能够利用上次执行的部分计算结果。另一类以康乃尔大学的Teitel-baum研究组为代表。
-
关键词
IPM
增量计算
程序生成法
-
Keywords
Incrementai Computation,Partial Evaluation ,Program Synthesise.
-
分类号
TP301.4
[自动化与计算机技术—计算机系统结构]
-
