Informality in program specifications.

Robert Balzer Neil M. Goldman David Wile

Published in: AFIPS National Computer Conference (1978)

Keyphrases

control flow
execution traces
computer programs
data sets
recursive programs
image sequences
learning environment