期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

程序求值与广义部分计算

在线阅读 下载PDF
导出
摘要 广义部分计算(GPC)是一种基于部分计算和定理证明的程序优化原理。常规的部分计算方法(或部分求值器)显然只利用了已知的参数值对程序进行部分求值。而GPC不仅直接利用已知值,而且还利用下列信息。1.被部分求值程序的逻辑结构。2.程序设计语言的抽象数据类型。GPC是令人感到生疏和新奇的(1987年提出),甚至连常规的部分计算也没有被计算机科学界很好地理解。本文讨论(1) 部分计算诱人的特性,(2) 程序求值器,部分求值器和广义部分求值器的差别,(3) GPC原理及应用。
作者 Yoshihiko Futamura 何玉兰
出处 《计算机工程与科学》 CSCD 1990年第4期91-101,共11页 Computer Engineering & Science
关键词 求值 程序变换 抽象数据类型 定义函数 定理证明 程序设计语言 递归调用 谓词逻辑 最小不动点 函数调用
分类号 TP3 [自动化与计算机技术—计算机科学与技术]
  • 相关文献

参考文献14

  • 1Andrei P. Ershov.Opening key-note speech[J]. New Generation Computing . 1988 (2-3)
  • 2R. Burstall,J. Darlington.A?transformation system for developing recursive programs. Journal of the ACM . 1977
  • 3L. Beckman,A. Haraldsson,?. Oskarsson,E. Sandewall.A Partial Evaluator, and Its Use as a Programming Tool. Artificial Intelligence . 1976
  • 4T.E.Cheatham,,G. H. Holloway,and J. A. Townley.Symbolic Evaluation and the Analysis of Programs. IEEE Transactions on Software Engineering . 1979
  • 5Y. Futamura.Partial Evaluation of Computing Process—An Approach to a Compiler-Compiler. Systems, Computers, Controls . 1971
  • 6Manna,Z. Mathematical Theory of Computation . 1974
  • 7Takeuchi,A.and Furukawa,K.Partial Evaluation of Prolog Programs and Its Application to Meta Programming. . 1986
  • 8V. F. Turchin.The Concept of a Supercompiler. ACM Transactions on Programming Languages and Systems . 1986
  • 9J. Dixon.The specializer, a method of automatically writing programs. . 1971
  • 10A. P. Ershov.Futamura projection. Borsa Internazionale del Turismo . 1980
计算机工程与科学
1990年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部