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

共 50 条

[1] ABSTRACT OBJECT TYPES =ABSTRACT KNOWLEDGE TYPES+ABSTRACT DATA TYPES+ABSTRACT CONNECTOR TYPES
PARK, HS
JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1991, 4 (03): : 37 - &
[2] ABSTRACT DATA TYPES
Laskov, Lasko M.
MATHEMATICS AND INFORMATICS, 2020, 63 (06): : 608 - 621
[3] Abstract Data Types without the Types
Wadler, Philip
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2017, 23 (01) : 5 - 20
[4] ABSTRACT-DATA-TYPES AS REUSABLE SOFTWARE COMPONENTS - THE CASE FOR TWIN ADTS
SIKKEL, K
VANVLIET, JC
SOFTWARE ENGINEERING JOURNAL, 1992, 7 (03): : 177 - 183
[5] Abstract data types in the construction of knowledge-based quantum chemistry software
Kilpatrick, PL
Scott, NS
ADVANCES IN QUANTUM CHEMISTRY, VOL. 28: RECENT ADVANCES IN COMPUTATIONAL CHEMISTRY, 1997, 28 : 345 - 359
[6] Abstract Data Types.
Zoller, P.
Angewandte Informatik/Applied Informatics, 1981, 23 (10): : 429 - 431
[7] Programs are abstract data types
Erwig, M
16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 400 - 403
[8] Distributed abstract data types
Picco, Gian Pietro
Migliavacca, Matteo
Murphy, Amy L.
Roman, Gruia-Catalin
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: COOPIS, DOA, GADA, AND ODBASE PT 2, PROCEEDINGS, 2006, 4276 : 1594 - 1612
[9] ABSTRACT-DATA-TYPES
BENTLEY, J
GRIES, OD
COMMUNICATIONS OF THE ACM, 1987, 30 (04) : 284 - 290
[10] A logic for abstract data types as existential types
Poll, E
Zwanenburg, J
TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 310 - 324