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

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.