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 条
  • [21] 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
  • [22] ABSTRACT-DATA-TYPES
    BENTLEY, J
    GRIES, OD
    COMMUNICATIONS OF THE ACM, 1987, 30 (04) : 284 - 290
  • [23] A logic for abstract data types as existential types
    Poll, E
    Zwanenburg, J
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 310 - 324
  • [24] MODULAR SOFTWARE CONSTRUCTION AND OBJECT-ORIENTED DESIGN USING ADA.
    Sincovec, Richard F.
    Wiener, Richard S.
    Journal of Pascal, Ada & Modula-2, 1984, 3 (02): : 29 - 34
  • [25] Categorical programming with abstract data types
    Erwig, M
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 406 - 421
  • [26] Synthesis of programs in abstract data types
    Avellone, A
    Ferrari, M
    Miglioli, P
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 81 - 100
  • [27] ON HIERARCHIES OF ABSTRACT DATA-TYPES
    WIRSING, M
    PEPPER, P
    PARTSCH, H
    DOSCH, W
    BROY, M
    ACTA INFORMATICA, 1983, 20 (01) : 1 - 33
  • [28] ITERATION AND ABSTRACT-DATA-TYPES
    ECKART, JD
    SIGPLAN NOTICES, 1987, 22 (04): : 103 - 110
  • [29] PC-BASED COMPILERS OFFER LOW-COST ADA.
    Suydam, William
    Electronic Systems Technology and Design/Computer Design's, 1986, 25 (19): : 46 - 48
  • [30] On algebraic specifications of abstract data types
    Khoussainov, B
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 299 - 313
12345