Specifications of computer programs using Hoare tree formalism

  • Authors:

  • Joseph E. Urban;Edwin Towster

  • Affiliations:

  • University of Southwestern Louisiana, Lafayette, Louisiana;University of Southwestern Louisiana, Lafayette, Louisiana

  • Venue:
  • ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
  • Year:
  • 1977

Quantified Score

Hi-index 0.00

Visualization

Abstract

A language for specifying programs is presented. The language uses trees that describe data in terms of data structuring methods suggested by Hoare. These trees separate input data into its constituent parts, then describe the output data in terms of these parts. Specifications can be developed top-downwards into modular specification units. Specification modules can be left undefined, resulting in a partial specification.