ABSTRACT DATA TYPES AND DEVELOPMENT OF DATA-STRUCTURES

被引:122
作者
GUTTAG, J [1 ]
机构
[1] UNIV SO CALIF,DEPT COMP SCI,LOS ANGELES,CA 90027
关键词
D O I
10.1145/359605.359618
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:396 / 404
页数:9
相关论文
共 25 条
[11]  
GUTTAG JV, 1976, ABSTRACT DATA TYPES
[12]  
Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507
[13]  
Hoare C. A. R., 1973, Acta Informatica, V2, P335, DOI 10.1007/BF00289504
[14]  
Liskov B., 1974, SIGPLAN Notices, V9, P50, DOI 10.1145/942572.807045
[15]  
MCKEEMAN WM, 1974, COMPILER CONSTRUCTIO
[16]  
MORRIS JH, 1973, OCT C REC ACM S PRIN, P120
[17]  
MUSSER D, 1975, COMMUNICATION
[18]  
PALME J, 1973, C8372M3E5 FOAP I NAT
[19]   TECHNIQUE FOR SOFTWARE MODULE SPECIFICATION WITH EXAMPLES [J].
PARNAS, DL .
COMMUNICATIONS OF THE ACM, 1972, 15 (05) :330-&
[20]  
PARNAS DL, 1971, IFIP C, P339