Informality in Program Specifications.

Robert Balzer Neil M. Goldman David S. Wile

Published in: IEEE Trans. Software Eng. (1978)

Keyphrases

computer programs
control flow
execution traces
formal specification
program execution
database
databases
case study
data sets
machine learning
data structure
specification language
concurrent systems
recursive programs