Program Extraction from Large Proof Developments.
Luís Cruz-FilipeBas SpittersPublished in: TPHOLs (2003)
Keyphrases
- imperative programs
- search algorithm
- database
- artificial intelligence
- theorem proving
- machine learning
- recursive programs
- computer programs
- information extraction
- search engine
- relational databases
- object oriented
- logic programming
- multi agent systems
- knowledge extraction
- automatically extracted
- image segmentation
- static analysis
- automatically extracting
- decision trees