ALPHARD: Toward a Language to Support Structured Programs

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 30, 1974
Accession Number
AD0785417

Entities

People

  • William A. Wulf

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Assembly Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Generators
  • Language
  • Lists (Data Structures)
  • Mathematics
  • Programming Languages
  • Qualifications
  • Real Variables
  • Scientific Research
  • Structured Programming

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.