Login / Signup
On automating the extraction of programs from proofs using product types.
Fairouz Kamareddine
François Monin
Mauricio Ayala-Rincón
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
computer programs
information extraction
data sets
information systems
databases
web services
theorem proving
data mining
learning algorithm
bayesian networks
programming language
theorem prover
programming environment
control program