ALPHARD: Toward a Language to Support Structured Programs
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
This report discusses the programming language tools needed to support the expression of well-structured programs. In particular it deals with the tools needed to express abstractions and their realizations to this end it introduces the concept of a form to subsume the notions of type mode, macro, procedure, generator, and coercion. An extendedexample is given together with the sketch of a proof of the example. The proof is included to support the contention that formal verification is substantially simplified when the abstractions and their realization are retained in the program text.
- Computer Programming and Software