Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.

Sebastian Fischer Josep Silva Salvador Tamarit Germán Vidal

Published in: LOPSTR (2007)

Keyphrases

partial evaluation
functional programs
explanation based generalization
term rewriting systems
lazy evaluation
logic programs
functional language
logic programming
domain theory
xpath queries
database
machine learning
knowledge base
high level