Eliminating Proofs from Programs.

Femke van Raamsdonk Paula Severi

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

computer programs
database
theorem proving
programming environment
search algorithm
control program
data sets
neural network
real world
evolutionary algorithm
probabilistic model
programming language
automatic programming