Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.
J. B. WellsBoris YakobowskiPublished in: LOPSTR (2004)
Keyphrases
- program synthesis
- functional programs
- imperative programs
- theorem prover
- dynamic programming
- search space
- database
- theorem proving
- programming environment
- recursive programs
- optimal solution
- bayesian networks
- object oriented
- test cases
- graph model
- computer programs
- static analysis
- learning algorithm
- information retrieval
- real time