Programs from Proofs - Approach and Applications.

Daniel Wonisch Alexander Schremmer Heike Wehrheim

Published in: Software Engineering (2014)

Keyphrases

computer programs
theorem proving
neural network
theorem prover
databases
programming environment
formal proofs
data sets
information retrieval
web services
programming language