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

来源：

关键词：

D O I：

10.1145/359657.359666

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：1048 / 1064

页数：17

共 26 条

[1]

[Anonymous], [No title captured]

[2] PROVING THEOREMS ABOUT LISP FUNCTIONS [J].

BOYER, RS ;

MOORE, JS .

[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 [J].

GUTTAG, J .

[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