Implementing program extraction from CL1-proofs.
Meixia QuKe ChenDaming ZhuJunfeng LuanPublished in: CoRR (2013)
Keyphrases
- computer programs
- information extraction
- theorem proving
- program execution
- formal proof
- automatically extracted
- automatic extraction
- knowledge extraction
- efficient implementation
- programming environment
- theorem prover
- data sets
- similarity measure
- image sequences
- decision trees
- website
- information systems
- artificial intelligence
- real world