Fast narrowing-driven partial evaluation for inductively sequential programs.

J. Guadalupe Ramos Josep Silva Germán Vidal

Published in: ICFP (2005)

Keyphrases

partial evaluation
explanation based generalization
data sets
domain theory
computer programs
xpath queries
training data
object oriented
logic programming