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

相关论文

共 50 条

[31] Transition specifications for dynamic abstract data types
GrosseRhode, M
APPLIED CATEGORICAL STRUCTURES, 1997, 5 (03) : 265 - 308
[32] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES
林惠民
Science China Mathematics, 1988, (08) : 1002 - 1010
[33] EXTENSION OF PASCAL TO ABSTRACT-DATA-TYPES
PERMINOV, ON
PROGRAMMING AND COMPUTER SOFTWARE, 1985, 11 (06) : 336 - 342
[34] ON THE IMPLEMENTATION OF ABSTRACT-DATA-TYPES IN BIRLIX
LUX, W
HARTIG, H
KUHNHAUSER, W
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 433 : 87 - 109
[35] NONDETERMINISTIC MODELS OF ABSTRACT DATA-TYPES
LESCANNE, P
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (03): : 225 - 244
[36] Semantic Code Refactoring for Abstract Data Types
Pailoor, Shankara
Wang, Yuepeng
Dillig, Işll
Proceedings of the ACM on Programming Languages, 8
[37] AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA-TYPES
BANATRE, M
COUVERT, A
HERMAN, D
RAYNAL, M
SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (03): : 315 - 320
[38] Transition Specifications for Dynamic Abstract Data Types
Martin Große-Rhode
Applied Categorical Structures, 1997, 5 : 265 - 308
[39] A Transactional Correctness Tool for Abstract Data Types
Peterson, Christina
Dechev, Damian
ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2017, 14 (04)
[40] ABSTRACT DATA-TYPES WITH SHARED OPERATIONS
OSTERBYE, K
SIGPLAN NOTICES, 1988, 23 (06): : 91 - 96

← 1 2 3 4 5 →