File(s) stored somewhere else
Please note: Linked content is NOT stored on Carnegie Mellon University and we can't guarantee its availability, quality, security or accept any liability.
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.