A Transformation System Combining Partial Evaluation with Term Rewriting.

Françoise Bellegarde

Published in: HOA (1993)

Keyphrases

partial evaluation
term rewriting
explanation based generalization
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
decision trees
higher order
data sets
machine learning
training data
domain theory