Principles of Proving Programs Correct in Gypsy.

Donald I. Good Richard M. Cohen James G. Keeton-Williams

Published in: POPL (1979)

Keyphrases

databases
neural network
data sets
computer programs
automatic programming
search engine
bayesian networks
logic programs
theoretical framework
fixpoint
intermediate level
provably correct