Cited By
View all- Stoyan HGörz GStoyan HGörz G(1984)LiteraturverzeichnisLISP10.1007/978-3-642-71455-9_16(346-350)Online publication date: 1984
Strategies for data abstraction in LISP
Pages 173 - 178
Abstract
The benefits of abstract data types are many and are generally agreed upon [Liskov and Zilles 1974, Linden 1976]. New languages are being constructed which provide for and enforce the use of data abstractions [Liskov et al 1977, Wulf et al 1976]. However, many of us are not in a position to use these new languages, but must stick to our installation's compiler. How then can we obtain the benefits of data abstraction? We discuss the implementation of data abstraction in a LISP program and the subtleties involved in doing so: specifically, how it is possible to enforce proper data abstraction in a language which does not provide for abstract data types.
References
[1]
Balzer, R. M. "Dataless Programming." Proc. AFIPS 1967 FJCC, Vol. 31, AFIPS Press (Montvale, NJ, 1967), 535-544.
[2]
Geschke, C. M. Global Program Optimizations. Ph.D. thesis. Carnegie-Mellon University (Pittsburgh, October 1972).
[3]
Kerns, B. An Experiment in Information Hiding. B.A. Thesis, Greenville College, Greenville, IL, (May 1977)
[4]
Linden, T. A. "The Use of Abstract Data Types to Simplify Program Modifications." Proc. of Conference on Data, ACM Sigplan Notices, 8:2 (1976), 12-23
[5]
Liskov, B., Snyder, A., Atkinson, R. and Schaffert, C. "Abstraction Mechanisms in CLU." CACM, Vol. 20, No. 8 (1977), 564-576
[6]
Liskov, B., and Zilles, S. "Programming with Abstract Data Types." Proc. Symp. on Very High Level Languages. SIGPLAN Notices (April 1974).
[7]
Myers, G. J. "Composite Design Facilities of Six Programming Languages." IBM Systems Journal, Vol. 15, No. 3, (1976), 212-224.
[8]
Parnas, D. L. Information Distribution Aspects of Design Methodology. Tech. Report, Dept. of Computer Science, Carnegie-Mellon University (Pittsburgh, 1971)
[9]
Parnas, D. L. "On the Criteria to be Used in Decomposing Systems into Modules." CACM 15 (December 1972), 1053-1058.
[10]
Steele, B. K. An Accountable Source-to-Source Transformation System. S.M. Thesis, Massachusetts Institute of Technology, in preparation.
[11]
Steele, G. L. Jr. "Debunking the 'Expensive Procedure Call' Myth." Proc. ACM National Conference (Seattle, October 1977), 153-162. Revised as MIT AI Memo 443 (Cambridge, October 1977).
[12]
Wulf, W. A., et al. The Design of an Optimizing Compiler. American Elsevier (New York, 1975).
[13]
Wulf, W., London, R. and Shaw, M. Abstraction and Verification in ALPHARD: Introduction to Language and Methodology. Tech. Report, Dept. of Computer Science, Carnegie-Mellon University (Pittsburgh, 1976)
Recommendations
On compiling embedded languages in LISP
LFP '80: Proceedings of the 1980 ACM conference on LISP and functional programmingIn INTERLISP we find a number of embedded languages such as the iterative statement and the pattern match facility in the CLISP package, the editor and makefile languages and so forth. We will in this paper concentrate on the problem of extending the ...
Data abstraction: A static implementation strategy
SIGPLAN '79: Proceedings of the 1979 SIGPLAN symposium on Compiler constructionA description of the implementation of the data abstraction mechanism for the Model programming language is discussed. The Model programming language utilizes a “static” approach to data abstraction in that abstract concepts are expanded by early phases ...
Abstraction mechanisms in CLU
Proceedings of an ACM conference on Language design for reliable softwareCLU is a new programming language designed to support the use of abstractions in program construction. Work in programming methodology has led to the realization that three kinds of abstractions, procedural, control, and especially data abstractions, ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
August 1980
247 pages
ISBN:9781450373968
DOI:10.1145/800087
Copyright © 1980 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 25 August 1980
Check for updates
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 30 of 109 submissions, 28%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 344Total Downloads
- Downloads (Last 12 months)44
- Downloads (Last 6 weeks)9
Reflects downloads up to 21 Nov 2024
Other Metrics
Citations
Cited By
View all- Stoyan HGörz GStoyan HGörz G(1984)LiteraturverzeichnisLISP10.1007/978-3-642-71455-9_16(346-350)Online publication date: 1984
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in