Access the full text.
Sign up today, get DeepDyve free for 14 days.
(1974)
A Note on CLU, Computation Structures
(1970)
The SIMULA 67 Con non Base Language, Publication S-22
A. Wijngaarden, B. Mailloux, J. Peck, C. Koster, M. Sintzoff, C. Lindsey, L. Meertens, R. Fisker (1962)
Revised report on the algorithmic languageAlgol 60Numerische Mathematik, 4
E. Dijkstra (1970)
Notes on structured programming, 8
R. Balzer (1967)
Dataless programming
B. Liskov, S. Zilles (1975)
Specification techniques for data abstractionsIEEE Transactions on Software Engineering, SE-1
(1974)
A Note on CLU, Computation Structures Group Mem o 112
W. Wulf (1974)
ALPHARD: Toward a Language to Support Structured Programs
J. Earley (1970)
Toward an understanding of data structures
(1970)
The SIMULA 67 Common Base Language, Publication ,S-22
(1974)
Programming with Abstract Dat a Types
(1969)
Nurnerische Mathentatik
Dijkstra E. W. (1972)
1
G. Mealy (1967)
Another look at data
SIGPLAN Notices 1975 Jul y Data types and program correctness * by BARBARA H . LISKO V Massachusetts Institute of Technology Cambridge, Massachusett s One of the most important current software issues is re liability, and accordingly, a major criterion of programming language design must be that the language contribut e to the production of reliable programs. Although there ar e other important aspects of software reliability (e .g ., faul t tolerance), the most fundamental is program correctness : does the program do what it is supposed to do? A languag e can contribute to this goal by enhancing the provability o f its programs . This paper discusses the impact of user-defined data types on program provability . The principal motivation for having a language suppor t user-defined data types is that they contribute to softwar e reliability by enhancing the programmer's ability to us e abstraction in writing programs . Abstraction plays a n extremely important role in programming because it is th e main tool available for controlling the complexity of pro grams . Thus the process of structured programming' i s based primarily on recognition of useful abstractions . Th e abstractions provide
ACM SIGPLAN Notices – Association for Computing Machinery
Published: Jul 1, 1975
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.