Accession Number:

ADA058871

Title:

An Informal Definition of Alphard (Preliminary).

Descriptive Note:

Interim rept.,

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Report Date:

1978-02-01

Pagination or Media Count:

57.0

Abstract:

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE