Recursive Program Optimization Through Inductive Synthesis Proof Transformation.
Peter MaddenAlan BundyAlan SmaillPublished in: J. Autom. Reason. (1999)
Keyphrases
- recursive programs
- program synthesis
- transformation rules
- functional programs
- optimization strategies
- functional language
- optimization algorithm
- logic programs
- optimization methods
- constrained optimization
- optimization problems
- inductive logic programming
- data sets
- optimization process
- global optimization
- combinatorial optimization
- discrete optimization
- program execution
- expert systems
- design space exploration
- case study
- learning algorithm
- neural network