SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES

被引:5
作者
BERZTISS, AT
THATTE, S
机构
关键词
D O I
10.1016/S0065-2458(08)60131-X
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 [计算机科学与技术];
摘要
引用
收藏
页码:295 / 353
页数:59
相关论文
共 83 条
[1]
Aho Alfred V., 1979, 6TH P ACM S PRINC PR, P110
[2]
ATKINSON RR, 1978, 33RD P ANN C ASS COM, P123
[3]
CAN PROGRAMMING BE LIBERATED FROM VON NEUMANN STYLE - FUNCTIONAL STYLE AND ITS ALGEBRA OF PROGRAMS [J].
BACKUS, J .
COMMUNICATIONS OF THE ACM, 1978, 21 (08) :613-641
[4]
BAUER FL, 1978, LECT NOTES COMPUT SC, V69
[5]
BERZINS VA, 1979, THESIS MASSACHUSETTS
[6]
DEPTH-1ST K-TREES AND CRITICAL PATH-ANALYSIS [J].
BERZTISS, AT .
ACTA INFORMATICA, 1980, 13 (04) :325-346
[7]
BERZTISS AT, 1982, UNPUB DATA ABSTRACTI
[8]
BERZTISS AT, 1980, 1980 P ACM ANN C, P197
[9]
BERZTISS AT, 1981, 1981 P IEEE INT C PA, P168
[10]
Birkhoff G., 1970, J COMBINATORIAL THEO, V8, P115, DOI DOI 10.1016/S0021-9800(70)80014-X