Abstract
The design of the Alphard language responded to concerns from several areas, including programming methodology, specification and verification, and object code efficiency. There is often tension among these concerns, with different concerns favoring different language decisions. This paper describes the interaction of the three concerns in the language design and in particular in the design of the iteration facility.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ole-Johan Dahl and C. A. R. Hoare, “Hierarchical Program Structures”, in Structured Programming (O.-J. Dahl, E. W. Dijkstra, and C.A.R. Hoare ), Academic Press, 1972 (pp. 175–220 ).
Proc. of the SIGPLAN/SIGMOD Conference on Data: Abstraction, Definition, and Structure and Supplement to the Proc., March 1976.
E. W. Dijkstra, “A Constructive Approach to the Problem of Program Correctness”, BIT, 8, July 1968 (pp. 174–186 ).
Edsger W. Dijkstra, “Go To Statement Considered Harmful”, Communications of the ACM, 11, 3, March 1968 (pp. 147–148 ).
Edsger W. Dijkstra, “Notes on Structured Programming”, in Structured Programming (O.-J. Dahl, E. W. Dijkstra, and C.A.R. Hoare ), Academic Press, 1972 (pp. 1–82 ).
Jack Goldberg (ed.), Proc. of a Symposium on the High Cost of Software, SRI, September 1973.
David Cries, “On Structured Programming — A Reply to Smoliar”, ACM Forum, Communications of the ACM, 17, 11, November 1974 (pp. 655–657 ).
C. A. R. Hoare, “Proof of Correctness of Data Representations”, Acta Informatica, 1, 4, 1972 (pp. 271–281 ).
C. A. R. Hoare and N. Wirth, “An Axiomatic Definition of the Programming Language Pascal”, Acta Informatica, 2,4, 1973 (pp. 335–355 ).
B. W. Lampson, J. J. Horning, R. L London, J. G. Mitchell, and G. J. Popek, “Euclid Report” (Draft), 1976.
Barbara Liskov and Stephen Zilles, “Programming with Abstract Data Types”, SIGPLAN Notices, 9, 4, April 1974 (pp. 50–59 ).
Ralph L. London, “A View of Program Verification”, Proc. International Conference on Reliable Softv/are, April 1975 (pp. 534–545 ).
Peter Naur and Brian Randell (eds.), Software Engineering, Report on a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, October 7–11 1968, NATO, January 1969.
D. L. Parnas, “On the Criteria to be Used in Decomposing Systems into Modules”, Communications of the ACM, 15, 12, December 1972 (pp. 1053–1058 ).
D. L. Parnas, “A Technique for Software Module Specification with Examples”, Communications of the ACM, 15, 5, May 1972 (pp. 330–336 ).
Mary Shaw, Wm. A. Wulf, and Ralph L. London, “Abstraction and Verification in Alphard: Iteration and Generators”, Carnegie-Mellon University and USC Information Sciences Institute Technical Reports, 1976.
Benjamin Lee Whorf, “A Linguistic Consideration of Thinking in Primitive Communities”, in Language, Thought9 and Reality (John B. Carroll, ed. ), MIT Press, 1956.
Niklaus Wirth, “Program Development by Stepwise Refinement”, Communications of the ACM, 14, 4, April 1971 (pp. 221–227 ).
W. Wulf and Mary Shaw, “Global Variables Considered Harmful”, SIGPLAN Notices, 8, 2, February 1973 (pp. 28–34 ).
William A. Wulf, “Alphard: Toward a Language to Support Structured Programming”, Carnegie-Mellon University Technical Report, April 1974.
Wm. A. Wulf, Ralph L. London, and Mary Shaw, “Abstraction and Verification in Alphard: Introduction to Language and Methodology”, Carnegie-Mellon University and USC Information Sciences Institute Technical Reports, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Wulf, W.A., Shaw, M., London, R.L. (1981). Achieving Quality Software: Reflections on the Aims and Objectives of Alphard. In: Shaw, M. (eds) Alphard: Form and Content. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-5979-4_8
Download citation
DOI: https://doi.org/10.1007/978-1-4612-5979-4_8
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-90663-8
Online ISBN: 978-1-4612-5979-4
eBook Packages: Springer Book Archive