The Compilation of Loop Induction Expressions.
Richard L. SitesPublished in: ACM Trans. Program. Lang. Syst. (1979)
Keyphrases
- facial expressions
- machine learning
- mathematical expressions
- rule induction
- inductive learning
- inductive logic programming
- program synthesis
- functional programs
- subgroup discovery
- concept formation
- constructive induction
- inductive reasoning
- natural language
- decision rules
- case study
- explanation based learning
- artificial intelligence
- rewrite rules
- neural network
- instruction scheduling