Catalogue of Artificial Intelligence Techniques

   

Home :: Automatic Programming

Call-by-need Lazy Evaluation
Condition-action Pairs Partial Deduction
Deductive Program Synthesis Partial Evaluation
Delayed Evaluation Program Transformation
Demodulants Programming Cliche
Extracting Answers from Proofs Rewrite Rules
Idiom