Specifications of computer programs using Hoare tree formalism
Joseph E. Urban, Edwin Towster · 1977
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.