ABSTRACT DATA TYPES IN ADA.

被引：0
|
作者：
Appelbe, William F.
机构：
来源：
Journal of Pascal and Ada | 1984年 / 3卷 / 01期
关键词：
COMPUTER PROGRAMMING LANGUAGES;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Abstract data types are a type encapsulation concept for designing modular, well-structured software. Ada has a package construct for statically encapsulating groups of related declarations, and provides for abstract data type declarations using limited private types within packages. Other systems programming languages, such as CLU, provide a distinct class encapsulation construct for implementing abstract data types. The mechanism adopted by Ada is compared with a distinct class construct. A number of disadvantages of this mechanism for Ada language users is indicated.
引用
收藏
页码：26 / 29
相关论文
共 50 条
  • [31] ABSTRACT DATA TYPES AND SOFTWARE VALIDATION
    GUTTAG, JV
    HOROWITZ, E
    MUSSER, DR
    COMMUNICATIONS OF THE ACM, 1978, 21 (12) : 1048 - 1064
  • [32] Random access to abstract data types
    Erwig, M
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 135 - 149
  • [33] Fields, meadows and abstract data types
    Bergstra, Jan
    Hirshfeld, Yoram
    Tucker, John
    PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 166 - +
  • [34] Abstract data types in Fortran 90
    Metcalf, M
    COMPUTER STANDARDS & INTERFACES, 1996, 18 (04) : 349 - 359
  • [35] 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
  • [36] On abstract data types presented by multiequations
    Adámek, J
    Hébert, M
    Rosicky, J
    THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 427 - 462
  • [37] ALGEBRAIC SPECIFICATION OF ABSTRACT DATA TYPES
    GUTTAG, JV
    HORNING, JJ
    ACTA INFORMATICA, 1978, 10 (01) : 27 - 52
  • [38] ABSTRACT DATA TYPES AND DEVELOPMENT OF DATA-STRUCTURES
    GUTTAG, J
    COMMUNICATIONS OF THE ACM, 1977, 20 (06) : 396 - 404
  • [39] ABSTRACT DATA-TYPES, SUBTYPES AND DATA INDEPENDENCE
    BURTON, FW
    LINGS, BJ
    COMPUTER JOURNAL, 1981, 24 (04): : 308 - 311
  • [40] 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
12345