An experiment in automatic verification of programs.

Gerald M. Weinberg G. L. Gressett

Published in: Commun. ACM (1963)

Keyphrases

databases
computer programs
automatic programming
data sets
control program
artificial intelligence
computer vision
decision making
data structure
computer science
intermediate level
control structures