MK Pattern Match Compilation and Partial Evaluation.

Published in: Dagstuhl Seminar on Partial Evaluation (1996)

Keyphrases

partial evaluation
explanation based generalization
pattern matching
domain knowledge
programming language
high level
relational databases
active learning
semi supervised
query evaluation
domain theory
xpath queries
knowledge compilation