Magnus Kempe  Home/Search
Context Related
| adahome.com/Resour...ntrolrevised.ps.Z 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: adahome.com/Resources/Papers (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.7: The Composition of Abstractions: Evolution of Software Component.. - Kempe (1995) (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/kempe95abstract.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/kempe95abstract.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 ACM
27 Software Components with Ada: Structures (context) - Booch - 1987
12 From Abstraction-Oriented to Object-Oriented (context) - Taft - 1993
11 MIL-Std-1815a (context) - for, Programming et al. - 1983
11 Values and Objects in Programming Languages (context) - MacLennan - 1982
11 Ada as a Second Language (context) - Cohen - 1986 ACM
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 Portable and Efficient Dynamic Storage Management in Ada (context) - Kownacki, Taft - 1987 ACM
5 Safe and Leakproof Resource Management using Ada 83 Limited .. - Baker - 1993
5 Controlling Dynamic Objects in Large Ada Systems (context) - Rosen - 1987 ACM
5 Storage Reclamation Models for Ada Programs (context) - Mendal - 1987
4 Classes and Collections in ObjectOriented Analysis (context) - Eckert - 1994
4 Working with Ada 9X Classes (context) - Barbey - 1994 ACM DBLP
4 Rationale for the Design of Reusable Abstract Data Types Imp.. (context) - Genillard, Ebel et al. - 1989
4 Relaxing the Constraints on Ada's limited private Types Thro.. (context) - Beidler - 1992 ACM
4 Abstract Data Types Are Under Full Control with Ada 9X - Kempe - 1994 ACM DBLP
3 Modeling with Objects and Values: Issues and Perspectives (context) - Eckert, Kempe - 1995
2 Introduction to Ada 9X (context) - Barnes - 1993
2 Semantic Specification of Ada Packages (context) - von Henke, Luckham et al. - 1985 ACM
2 A Methodology for Programming Abstract Data Types in Ada (context) - Sherman, Hisgen et al. - 1982
2 Structured Programming with Limited Types in Ada: Nesting is.. (context) - Baker - 1991
2 Understanding Ada Software Reusability Issues for the Transi.. (context) - Gargaro, Pappas - 1986
2 Ada Quality and Style: Guidelines for Professional Programme.. (context) - Quality, for et al. - 1992
2 On Unlimited Types and Reliability of Ada Programs (context) - Llamosi, Botella et al. - 1984
2 Rationale for the Programming Language Ada: Language and Sta.. (context) - for, Language et al. - 1994
2 Difficulties in developing re-usable software components ari.. (context) - Roberts - 1992 ACM
2 A Comparison of Object-Oriented Features of Ada and C (context) - Joergensen - 1993
2 The Finalization Operation for Abstract Types (context) - Schwartz, Melliar-Smith - 1981 ACM DBLP
2 Memory Management in Ada 83 and Ada 9X (context) - Van Vlierberghe - 1994
2 Reusable Software Parts and the SemiAbstract Data Type (context) - Cohen - 1986
2 ACM Ada Letters (context) - Goodenough, in - 1985
2 Portability and Style Guide in Ada (context) - Nissen, Wallis - 1984
Documents on the same site (http://www.adahome.com/Resources/Papers.html): More
The Composition of Abstractions: Evolution of Software Component.. - Kempe (1995) (Correct)
Testing Ada 95 Object-Oriented Programs - Barbey (1995) (Correct)
BATCES Solution 2: A Simplified SA/OOD Approach - Michael Hirasuna (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