Achieving Quality Software: Reflections on the Aims and Objectives of Alphard

Date of Original Version



Book Chapter

Rights Management

Can archive pre-print and post-print or publisher's version/PDF Although this publisher has default policies, individual journals may have special permissions, especially if they involve other organisations or have paid open access options. Always run a journal title or ISSN search to check.

Abstract or Description

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.




Reprinted in Tutorial: Programming Language Design, text for IEEE Tutorial by Anthony I. Wasserman, 1980, pp.29-37. Reprinted in Alphard: Form and Content (Mary Shaw, ed), Springer-Verlag 1981.


Published In

Computer Science Research Review, Carnegie-Mellon University. , 7-15.