Achieving Quality Software: Reflections on the Aims and Objectives of Alphard
Date of Original Version
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.
Computer Science Research Review, Carnegie-Mellon University. , 7-15.