Maximally-Polyvariant Partial Evaluation in Polynomial Time.

Published in: Ershov Memorial Conference (2015)

Keyphrases

partial evaluation
explanation based generalization
special case
computational complexity
xpath queries
domain theory
artificial intelligence
high dimensional
worst case
semi supervised learning