An Informal Definition of Alphard (Preliminary).
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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
- Computer Programming and Software