An Informal Definition of Alphard (Preliminary).
William A. Wulf, Paul N. Hilfinger, Robert P. Fitzgerald, Izumi Kimura, Ralph L. London · 1978
The Alphard language design has four major goals: (1) to support modern programming methodology, (2) to permit practical program verification, (3) to permit extremely efficient object code to be produced, and (4) to permit the programmer to control certain implementation decisions -- such as the representation of data structures. Previous Alphard papers have explored aspects of these issues as they relate to particular language features; to facilitate these explorations these papers used a different syntax for the language. The present report is a complete informal definition of Alphard that both simplifies and unifies the language. (Author)