Login / Signup
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.
Elvira Albert
Sergio Antoy
Germán Vidal
Published in:
WFLP (2000)
Keyphrases
</>
partial evaluation
explanation based generalization
high level
text classification
formal model