FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum.

Published in: J. Funct. Program. (2009)

Keyphrases

information systems
belief revision
belief change
functional language
databases
programming language
theorem prover
theorem proving
neural network
information retrieval
computer vision
decision trees
conditional independence
logical rules