Abstract data types in Euclid-Reference-Cited by-同舟云学术

Abstract data types in Euclid

Published:1978-03 Issue:3 Volume:13 Page:34-42
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Chang Ernest¹,Kaden Neil E.¹,Elliott W. David¹

Affiliation:

1. University of Toronto, Toronto, Ontario, Canada

Abstract

The programming language Euclid provides features that support abstract data types, but does not strictly speaking provide a true data abstraction mechanism. This paper assesses the data abstraction facilities that Euclid does provide, examines the two ways of instantiating Euclid modules, and discusses other features of modules that the designers of Euclid chose not to include. In particular, the paper addresses the issues of (1) enforceable separation between abstract definition and representation, (2) specifying the relationship between abstract definition and representation, (3) type parameters in modules, (4) operator extensions, and (5) scope restrictions on identifiers.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/954373.954376

Reference12 articles.

1. Gypsy

2. {Dahl et al.68} O.-J. Dahl B. Myhrhaug and K. Nygaard; The Simula 67 Common Base Language; Norwegian Computing Center Oslo (1968). {Dahl et al.68} O.-J. Dahl B. Myhrhaug and K. Nygaard; The Simula 67 Common Base Language; Norwegian Computing Center Oslo (1968).

3. {Geschke et al.77} C. M. Geschke J. H. Morris and E. H. Satterthwaite; Early Experience with Mesa; to appear in CACM. 10.1145/359763.359771 {Geschke et al.77} C. M. Geschke J. H. Morris and E. H. Satterthwaite; Early Experience with Mesa; to appear in CACM. 10.1145/359763.359771

4. {Guttag et al.76} J. V. Guttag E. Horowitz and D. R. Musser; Abstract Data Types and Software Validation; USC Information Sciences Institute Technical Report (1976). {Guttag et al.76} J. V. Guttag E. Horowitz and D. R. Musser; Abstract Data Types and Software Validation; USC Information Sciences Institute Technical Report (1976).

5. Some desirable properties of data abstraction facilities

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modular verification of data abstractions with shared realizations;IEEE Transactions on Software Engineering;1994-04

2. Bibliography;Bibliography on Abstract Data Types;1983

3. Conclusions and further research;Coroutines;1980