Login / Signup
On Automating the Extraction of Programs from Termination Proofs.
Fairouz Kamareddine
François Monin
Mauricio Ayala-Rincón
Published in:
Rev. Colomb. de Computación (2003)
Keyphrases
</>
computer programs
automatic extraction
information extraction
theorem prover
theorem proving
knowledge extraction
automatically extracted
formal proofs
evolutionary algorithm
answer sets
active rules
automatically extracting
automatic programming
control program