ABSTRACT DATA TYPES AND SOFTWARE VALIDATION

被引：140
作者：
GUTTAG, JV [1 ]
HOROWITZ, E [1 ]
MUSSER, DR [1 ]
机构：
[1] UNIV SO CALIF,INST INFORMAT SCI,MARINA DEL REY,CA 90291
来源：
COMMUNICATIONS OF THE ACM | 1978年 / 21卷 / 12期
关键词：
D O I：
10.1145/359657.359666
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1048 / 1064
页数：17
相关论文
共 26 条
  • [1] [Anonymous], [No title captured]
  • [2] PROVING THEOREMS ABOUT LISP FUNCTIONS
    BOYER, RS
    MOORE, JS
    [J]. JOURNAL OF THE ACM, 1975, 22 (01) : 129 - 144
  • [3] Dahl O. J., 1968, SIMULA 67 COMMON BAS
  • [4] GOGUEN JA, 1975, MAY P C COMPTR GRAPH
  • [5] GOOD DI, 1975, IEEE T SOFTWARE ENG, V1, P56
  • [6] ABSTRACT DATA TYPES AND DEVELOPMENT OF DATA-STRUCTURES
    GUTTAG, J
    [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (06) : 396 - 404
  • [7] GUTTAG JV, 1978, ACTA INFORM, V10, P27, DOI 10.1007/BF00260922
  • [8] GUTTAG JV, 1978, CURRENT TRENDS PROGR, P60
  • [9] GUTTAG JV, 1977, MAR P LANG DES REL S
  • [10] Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507
123