An Assessment of Techniques for Proving Program Correctness.

Bernard Elspas Karl N. Levitt Richard J. Waldinger Abraham Waksman

Published in: ACM Comput. Surv. (1972)

Keyphrases

computer programs
automatic programming
assessment process
databases
data mining
information retrieval
artificial intelligence
similarity measure
data structure
mobile robot
program execution