Programs from Proofs - A PCC Alternative.

Daniel Wonisch Alexander Schremmer Heike Wehrheim

Published in: CAV (2013)

Keyphrases

computer programs
theorem prover
real time
e learning
data sets
neural network
automatic programming
database
image segmentation
multiscale
digital libraries
provably correct
formal proofs