Automated Procedure Construction for Deductive Synthesis.
Steve RoachJeffrey Van BaalenPublished in: Autom. Softw. Eng. (2005)
Keyphrases
- construction process
- functional programs
- semi automated
- automated analysis
- real time
- decision making
- computer assisted
- search procedure
- abductive inference
- database
- controller synthesis
- hypothesis formation
- program synthesis
- explanation based learning
- artificial neural networks
- three dimensional
- machine learning
- databases