Proofs, tests and continuation passing style.

Stefano Guerrini Andrea Masini

Published in: ACM Trans. Comput. Log. (2009)

Keyphrases

theorem proving
data mining
image processing
data structure
decision procedures
database
neural network
image sequences
bayesian networks
information technology
relational databases
test cases
theorem prover
equational theories