Protocols between Programs and Proofs.

Iman Poernomo John N. Crossley

Published in: LOPSTR (LNCS 2042: Selected Papers) (2000)

Keyphrases

computer programs
theorem proving
theorem prover
automatic programming
communication protocols
neural network
expert systems
communication protocol
formal proof
formal proofs
data sets
website
source code
fixpoint