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 条

[11] PERFORMANCE ABSTRACT DATA-TYPES AS A TOOL IN SOFTWARE-PERFORMANCE ANALYSIS AND DESIGN
BOOTH, TL
WIECEK, CA
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) : 138 - 151
[12] Categorical programming with abstract data types
Erwig, M
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 406 - 421
[13] Synthesis of programs in abstract data types
Avellone, A
Ferrari, M
Miglioli, P
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 81 - 100
[14] ON HIERARCHIES OF ABSTRACT DATA-TYPES
WIRSING, M
PEPPER, P
PARTSCH, H
DOSCH, W
BROY, M
ACTA INFORMATICA, 1983, 20 (01) : 1 - 33
[15] ITERATION AND ABSTRACT-DATA-TYPES
ECKART, JD
SIGPLAN NOTICES, 1987, 22 (04): : 103 - 110
[16] On algebraic specifications of abstract data types
Khoussainov, B
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 299 - 313
[17] Random access to abstract data types
Erwig, M
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 135 - 149
[18] ABSTRACT DATA TYPES IN ADA.
Appelbe, William F.
Journal of Pascal and Ada, 1984, 3 (01): : 26 - 29
[19] Fields, meadows and abstract data types
Bergstra, Jan
Hirshfeld, Yoram
Tucker, John
PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 166 - +
[20] Abstract data types in Fortran 90
Metcalf, M
COMPUTER STANDARDS & INTERFACES, 1996, 18 (04) : 349 - 359