Magnus Kempe  Home/Search
Context Related
Links: ACM DBLP | lglftp.epfl.ch/pub...ControlTR9466.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ksce.com/bio/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Ada 83 did not provide enough control on the creation, assignment, and destruction of objects of userdefined types. This lack of control restricted type composition and prevented the full exercise of information hiding for abstract data types. Ada 9X brings new mechanisms supporting the full control of abstract data types, powerful type composition, and more extensive information hiding. With better control of abstract data types, Ada code will be easier to write, understand, maintain, and... (Update)
Context of citations to this paper: More
.... types allow an Ada 95 programmer to simultaneously and safely redefine the assignment operation and the equality operators (see [Kem94]) Exporting a non limited, controlled ADT is strongly recommended wherever it makes sense to define the assignment statement and equality...
.... Engineering Laboratory EPFL DI LGL CH 1015 Lausanne, Switzerland e mail: Magnus.Kempe di.epfl.ch This is a revised version of [Kem94], which was published in the TRI Ada 94 Conference Proceedings. 1994, 1995 by Magnus Kempe (this version dated: March 23, 1995) Revised...
Cited by: More
Ada 95 as Implementation Language for. . . - Barbey (1995) (Correct)
First published in the Ada-Europe '95 Conference Proceedings.. - Ob Er (Correct)
Abstract Data Types Are Under Full Control With Ada 9X - Kempe (1995) (Correct)
Active bibliography (related documents): More All
0.9: Safe and Leakproof Resource Management using Ada83 Limited Types - Baker (1993) (Correct)
0.6: Structured Programming with Limited Private Types in Ada: Nesting.. - Baker (1991) (Correct)
0.6: Ada9X Issues for AI Systems - Baker (1992) (Correct)
Similar documents based on text: More All
0.3: C++ Language Support for Abstract Data Types - Schmidt (Correct)
0.0: SC-Web-CS: Supply Chain Web-Centric Systems - Wu, Cobzaru, Ulieru, Norrie (2000) (Correct)
0.0: A Framework for The Blackboard Model - Kempe (1994) (Correct)
Related documents from co-citation: More All
3: Software Components with Ada: Structures (context) - Booch - 1987
3: Working with Ada 9X Classes (context) - Barbey - 1994
3: Smalltalk 80: The language and its implementation (context) - Goldberg, Robson - 1983
BibTeX entry: (Update)
M. Kempe. Abstract Data Types Are Under Full Control with Ada 9X. In Proceedings of the TRI-Ada'94 Conference, ed. by C. Engle Jr., Baltimore, Maryland, November 6-11, 1994, pp. 141-152. Also available at URL http://lglwww.epfl.ch/Ada/Resources/Papers/OO/ ADT_Control-revised.ps http://citeseer.ist.psu.edu/article/kempe94abstract.html More
@inproceedings{ kempe94abstract,
author = "Magnus Kempe",
title = "Abstract Data Types Are Under Full Control with Ada 9{X}",
booktitle = "{TRI}-Ada'94, Baltimore, Maryland, {USA}, 1994",
publisher = "ACM Press",
editor = "B. Charles and Jr. Engle",
pages = "141--152",
year = "1994",
url = "citeseer.ist.psu.edu/article/kempe94abstract.html" }
Citations (may not include all citations):1002 Programming Language (context) - Stroustrup - 1992
492 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
44 Abstract Data Types and the Development of Data Structures (context) - Guttag - 1977 ACM DBLP
42 Rationale for the Design of the Ada Programming Language (context) - Ichbiah, Barnes et al. - 1986
27 Software Components with Ada: Structures (context) - Booch - 1987
12 From Abstraction-Oriented to Object-Oriented (context) - Taft - 1993
11 Ada as a Second Language (context) - Cohen - 1986 ACM
11 Values and Objects in Programming Languages (context) - MacLennan - 1982 ACM DBLP
11 MIL-Std-1815a (context) - for, Programming et al. - 1983
7 Programming Language Ada: Language and Standard Libraries (context) - Language, Language et al. - 1994
7 Programming Language Ada: Language and Standard Libraries (context) - Language, Language et al. - 1994
5 Storage Reclamation Models for Ada Programs (context) - Mendal - 1987 ACM
5 Safe and Leakproof Resource Management using Ada 83 Limited .. - Baker - 1993
5 Portable and Efficient Dynamic Storage Management in Ada (context) - Kownacki, Taft - 1987 ACM
5 Controlling Dynamic Objects in Large Ada Systems (context) - Rosen - 1987
4 Relaxing the Constraints on Ada's limited private Types Thro.. (context) - Beidler - 1992 ACM
4 Rationale for the Design of Reusable Abstract Data Types Imp.. (context) - Genillard, Ebel et al. - 1989
4 Classes and Collections in ObjectOriented Analysis (context) - Eckert - 1994
2 Understanding Ada Software Reusability Issues for the Transi.. (context) - Gargaro, Pappas - 1986
2 A Methodology for Programming Abstract Data Types in Ada (context) - Sherman, Hisgen et al. - 1982
2 Rationale for the Programming Language Ada: Language and Sta.. (context) - for, Language et al. - 1994
2 Ada Quality and Style: Guidelines for Professional Programme.. (context) - Quality, for et al. - 1992
2 A Comparison of Object-Oriented Features of Ada and C (context) - Joergensen - 1993
2 Memory Management in Ada 83 and Ada 9X (context) - Van Vlierberghe - 1994
2 Structured Programming with Limited Types in Ada: Nesting is.. (context) - Baker - 1991
2 Reusable Software Parts and the SemiAbstract Data Type (context) - Cohen - 1986
2 Portability and Style Guide in Ada (context) - Nissen, Wallis - 1984
2 ACM Ada Letters (context) - Goodenough, in - 1985
2 Difficulties in developing re-usable software components ari.. (context) - Roberts - 1992 ACM
2 On Unlimited Types and Reliability of Ada Programs (context) - Llamosi, Botella et al. - 1984 ACM
2 Introduction to Ada 9X (context) - Barnes - 1993
2 Semantic Specification of Ada Packages (context) - von Henke, Luckham et al. - 1985 ACM
2 The Finalization Operation for Abstract Types (context) - Schwartz, Melliar-Smith - 1981
Documents on the same site (http://www.ksce.com/bio/publications.html):
A Framework for The Blackboard Model - Kempe (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC