程序求值与广义部分计算  

作　　者：Yoshihiko Futamura 何玉兰 

出　　处：《计算机工程与科学》1990年第4期91-101,共11页Computer Engineering & Science

摘　　要：广义部分计算(GPC)是一种基于部分计算和定理证明的程序优化原理。常规的部分计算方法(或部分求值器)显然只利用了已知的参数值对程序进行部分求值。而GPC不仅直接利用已知值,而且还利用下列信息。1.被部分求值程序的逻辑结构。2.程序设计语言的抽象数据类型。GPC是令人感到生疏和新奇的(1987年提出),甚至连常规的部分计算也没有被计算机科学界很好地理解。本文讨论(1) 部分计算诱人的特性,(2) 程序求值器,部分求值器和广义部分求值器的差别,(3) GPC原理及应用。

关 键 词：求值 程序变换 抽象数据类型 定义函数 定理证明 程序设计语言 递归调用 谓词逻辑 最小不动点 函数调用 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]