Accession Number:

AD0785417

Title:

ALPHARD: Toward a Language to Support Structured Programs

Descriptive Note:

Interim rept.

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1974-04-30

Pagination or Media Count:

20.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE