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 条
  • [21] The case for Enhanced Abstract Data Types
    Seshadri, P
    Livny, M
    Ramakrishnan, R
    PROCEEDINGS OF THE TWENTY-THIRD INTERNATIONAL CONFERENCE ON VERY LARGE DATABASES, 1997, : 66 - 75
  • [22] On abstract data types presented by multiequations
    Adámek, J
    Hébert, M
    Rosicky, J
    THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 427 - 462
  • [23] ALGEBRAIC SPECIFICATION OF ABSTRACT DATA TYPES
    GUTTAG, JV
    HORNING, JJ
    ACTA INFORMATICA, 1978, 10 (01) : 27 - 52
  • [24] ABSTRACT DATA TYPES AND DEVELOPMENT OF DATA-STRUCTURES
    GUTTAG, J
    COMMUNICATIONS OF THE ACM, 1977, 20 (06) : 396 - 404
  • [25] ABSTRACT DATA-TYPES, SUBTYPES AND DATA INDEPENDENCE
    BURTON, FW
    LINGS, BJ
    COMPUTER JOURNAL, 1981, 24 (04): : 308 - 311
  • [26] ABSTRACT-DATA-TYPES AND TYPE THEORY - THEORIES AS TYPES
    DEQUEIROZ, RJGB
    MAIBAUM, TSE
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (02): : 149 - 166
  • [27] DIRECT IMPLEMENTATION OF ABSTRACT DATA TYPES FROM ABSTRACT SPECIFICATIONS.
    Belkhouche, Boumediene
    Urban, Joseph E.
    IEEE Transactions on Software Engineering, 1986, SE-12 (05) : 649 - 661
  • [28] DIRECT IMPLEMENTATION OF ABSTRACT-DATA-TYPES FROM ABSTRACT SPECIFICATIONS
    BELKHOUCHE, B
    URBAN, JE
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (05) : 649 - 661
  • [29] Semantic Code Refactoring for Abstract Data Types
    Pailoor, Shankara
    Wang, Yuepeng
    Dillig, Isil
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
  • [30] DESIGN, ABSTRACT-DATA-TYPES AND OCCAM
    KERRIDGE, J
    WRIGHT, S
    OATES, R
    APPLYING TRANSPUTER BASED PARALLEL MACHINES ( OUG 10 ), 1989, : 29 - 45
12345