Some Results Concerning Proofs of Statements about Programs.

Richard J. Orgass

Published in: J. Comput. Syst. Sci. (1970)

Keyphrases

computer programs
theorem proving
automatic programming
natural language
website
decision procedures
intermediate level
provably correct
data mining
genetic algorithm
similarity measure
relational databases
fixpoint