Abstraction and Verification in ALPHARD: Design and Verification of a Tree Handler.

Abstract

The design of the Alphard programming language has been strongly influenced by ideas from the areas of programming methodology and formal program verification. The interaction of these ideas and their influence on Alphard are described by developing a nontrivial example, a program for manipulating the parse tree of an arithmetic expression. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1976
Accession Number
ADA035562

Entities

People

  • Mary Shaw

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Arithmetic
  • Computer Programming
  • Computer Science
  • Computers
  • Concrete
  • Construction
  • Iterations
  • Language
  • Programming Languages
  • Software Development
  • Specifications
  • Standards
  • Structured Programming
  • Trees (Data Structures)
  • Universities

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Database Systems and Applications