Proceedings Article10.1145/800233.807045
Programming with abstract data types
Barbara Liskov,Stephen N. Zilles +1 more
820
TL;DR: An approach which allows the set of built-in abstractions to be augmented when the need for a new data abstraction is discovered and is an outgrowth of work on designing a language for structured programming.
read more
Abstract: The motivation behind the work in very-high-level languages is to ease the programming task by providing the programmer with a language containing primitives or abstractions suitable to his problem area. The programmer is then able to spend his effort in the right place; he concentrates on solving his problem, and the resulting program will be more reliable as a result. Clearly, this is a worthwhile goal.Unfortunately, it is very difficult for a designer to select in advance all the abstractions which the users of his language might need. If a language is to be used at all, it is likely to be used to solve problems which its designer did not envision, and for which the abstractions embedded in the language are not sufficient.This paper presents an approach which allows the set of built-in abstractions to be augmented when the need for a new data abstraction is discovered. This approach to the handling of abstraction is an outgrowth of work on designing a language for structured programming. Relevant aspects of this language are described, and examples of the use and definitions of abstractions are given.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Computational Geometry
Franco P. Preparata,M. Shamos +1 more
- 01 Sep 1985
TL;DR: This book clearly demonstrates that computational geometry in the plane is now a fairly well-understood branch of computer science and mathematics and points the way to the solution of the more challenging problems in dimensions higher than two.
3.1K
A theory of type polymorphism in programming
TL;DR: This work presents a formal type discipline for polymorphic procedures in the context of a simple programming language, and a compile time type-checking algorithm w which enforces the discipline.
2.6K
C-store: a column-oriented DBMS
Michael Stonebraker,Daniel J. Abadi,Adam Batkin,Xuedong Chen,Mitch Cherniack,Miguel Ferreira,Edmond Lau,Amerson Lin,Samuel Madden,Elizabeth O'Neil,Patrick O'Neil,Alexander Rasin,Nga Tran,Stan Zdonik +13 more
- 01 Dec 2018
TL;DR: Preliminary performance data on a subset of TPC-H is presented and it is shown that the system the team is building, C-Store, is substantially faster than popular commercial products.
•Posted Content
Intel SGX Explained.
Victor Costan,Srinivas Devadas +1 more
TL;DR: In this article, the authors present a detailed and structured presentation of the publicly available information on SGX, a series of intelligent guesses about some important but undocumented aspects of SGX.
Quantitative evaluation of software quality
Barry Boehm,J. R. Brown,M. Lipow +2 more
- 13 Oct 1976
TL;DR: The study reported in this paper provides for the first time a clear, well-defined framework for assessing the often slippery issues associated with software quality, via the consistent and mutually supportive sets of definitions, distinctions, guidelines, and experiences cited.
821
References
•Book
Notes on structured programming
Edsger W. Dijkstra
- 01 Jan 1970
TL;DR: The final author version and the galley proof are versions of the publication after peer review that features the final layout of the paper including the volume, issue and page numbers.
1K
Protection in programming languages
TL;DR: Linguistic mechanisms which can be used to protect one subprogram from another's malfunctioning are described and an attempt is made to distinguish between access limitation and authentication.
A general-purpose file system for secondary storage
Robert C. Daley,Peter G. Neumann +1 more
- 30 Nov 1965
TL;DR: In this article, the need for a versatile on-line secondary storage complex in a multiprogramming environment is immense, and various needs become crucial: little-used information must percolate to devices with longer access times, to allow ample space on faster devices for more frequently used files.
145
•Book
A general-purpose file system for secondary storage
Robert C. Daley,Peter G. Neumann +1 more
- 01 Nov 2001
TL;DR: The need for a versatile on-line secondary storage complex in a multiprogramming environment is immense and information must be easy to access when required, safe from accidents and maliciousness, and it should be accessible to other users on an easily controllable basis when desired.
142