DERIVING TARGET CODE AS A REPRESENTATION OF CONTINUATION SEMANTICS

被引：48

作者：

WAND, M

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1982年 / 4卷 / 03期

关键词：

D O I：

10.1145/357172.357179

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：496 / 517

页数：22

共 36 条

[1]

BACKUS J, 1973, 1973 ACM S PRINC PRO, P71

[2]

BJORNER D, 1978, LECTURE NOTES COMPUT, V61

[3]

Burstall R. M., 1969, MACHINE INTELLIGENCE, V4, P17

[4] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .

[5] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J].

GOGUEN, JA ;

THATCHER, JW ;

WAGNER, EG ;

WRIGHT, JB .

[6]

Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507

[7]

JONES N, 1980, LECTURE NOTES COMPUT, V94, P70, DOI DOI 10.1007/3-540-10250-719

[8]

Knuth, 2010, COMBINATORIAL ALGORI, V4

[9] MECHANICAL EVALUATION OF EXPRESSIONS [J].

LANDIN, PJ .

[10]

MCCARTHY J, 1963, INFORMATION PROCESSI, V62, P21