Visualizing Partial Evaluation.

Oscar Waddell R. Kent Dybvig

Published in: ACM Comput. Surv. (1998)

Keyphrases

partial evaluation
explanation based generalization
xpath queries
domain theory
artificial intelligence
training set
relational databases
supervised learning
modal logic