DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES

被引：96

作者：

TENNENT, RD ^{[1
]}

机构：

[1] QUEENS UNIV,DEPT COMP & INFORMATION SCI,KINGSTON,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1145/360303.360308

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：437 / 453

页数：17

共 75 条

[1]

BAKKER JWD, 1969, ADV INFORMATION SYST, V2, P173

[2]

BAKKER JWD, 1974, LEAST FIXED POINTS R

[3]

BAKKER JWD, 1971, RECURSIVE PROCEDURES

[4]

BEKIC H, UNPUBLISHED

[5] COMPOSITION OF SEMANTICS IN ALGOL 68 [J].

BRANQUART, P ;

LEWI, J ;

SINTZOFF, M ;

WODON, PL .

[6]

Burstall R.M., 1967, MACH INTELL, V2, P3

[7]

BURSTALL RM, 1968, MACHINE INTELLIGENCE, V3, P373

[8]

Cadiou J. M., 1973, 14th Annual Symposium on Switching Automata Theory, P34, DOI 10.1109/SWAT.1973.14

[9]

CADIOU JM, 1972, CS266 STANF U COMP S

[10]

Church A., 1941, ANN MATH STUD