DATA-TYPES ARE VALUES

被引：21

作者：

DONAHUE, J ^{[1
]}

DEMERS, A ^{[1
]}

机构：

[1] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1985年 / 7卷 / 03期

关键词：

D O I：

10.1145/3916.3987

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：426 / 445

页数：20

共 31 条

[1]

[Anonymous], 5 ACM S PRINC PROGR

BACKUS, J .

[3]

BATES J, 1982, TR82530 CORN U COMP

[4]

BOEHM H, 1980, TR80430 CORN U COMP

[5]

DEMERS A, 1980, 7TH ANN S POPL, P234

[6]

DEMERS A, 1980, 7TH P S PRINC PROGR, P21

[7]

DEMERS A, 1983, 10TH P ACM S PRINC P, P59

[8]

Dijkstra E. W., 1978, SIGPLAN Notices, V13, P10

[9]

DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI 10.1145/390016.808417

[10] SEMANTICS OF DATA TYPE [J].

DONAHUE, J .