An Introduction to Proving the Correctness of Programs.

Sidney L. Hantler James C. King

Published in: ACM Comput. Surv. (1976)

Keyphrases

provably correct
prolog programs
automatic programming
fixpoint
three dimensional
computer programs
evolutionary algorithm
control structures
programming environment
logic programs
databases
similarity measure
image processing
information systems
computer vision
data mining
neural network