An Example of Hierarchical Design and Proof.

Abstract

Hierarchical programming is being increasingly recognized as helpful in the construction of large programs. Users of hierarchical techniques claim or predict substantial increases in productivity and in the reliability of the programs produced. In this paper the authors describe a formal method for hierarchical program specification, implementation, and proof. The authors apply this method to a significant list processing problem and also discuss a number of extensions to current programming languages that ease hierarchical program design and proof.

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1976
Accession Number
ADA021574

Entities

People

  • Jay M. Spitzen
  • Karl N. Levitt
  • Lawrence Robinson

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • Computer Languages
  • Computer Programming
  • Construction
  • Contracts
  • Formal Languages
  • Language
  • Productivity
  • Programming Languages
  • Reliability
  • Specifications

Fields of Study

  • Computer science

Readers

  • Software Engineering.