Programming with proofs and explicit contexts.

Brigitte Pientka Jana Dunfield

Published in: PPDP (2008)

Keyphrases

programming language
theorem proving
high level language
neural network
programming environments

general purpose
search algorithm
hidden markov models
expert systems

theorem prover
clustering algorithm
computer programming
programming environment

natural deduction
artificial intelligence
formal proofs
information retrieval