The role of opaque types to build abstractions

Authors:
A. Corradi;L. Leonardi
Affiliations:
Univ. di Balogna, Balogna, Italy;Univ. di Balogna, Balogna, Italy
Venue:
ACM SIGPLAN Notices
Year:
1988

Citing 6
Cited 0

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
Object identity

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Type extensions

ACM Transactions on Programming Languages and Systems (TOPLAS)
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Programming with abstract data types

Proceedings of the ACM SIGPLAN symposium on Very high level languages
CLU REFERENCE MANUAL

CLU REFERENCE MANUAL

Quantified Score

Hi-index	0.00

Visualization

Abstract

This note examines the MODULA-2 approach to build data abstractions and abstract data types. MODULA-2 provides a byreference semantics by providing opaque types via pointers. The paper compares this mechanism with the one furnished by ADA (*). A comparison with object-oriented systems brings out the issue of assignment, copy and compare operations. That leads to a constructive methodology for abstract data types in MODULA-2. Any abstraction must furnish copy operations with two different semantics, respectively shallow and deep, and related equality and inequality operations.