Login / Signup

Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation.

Olivier DanvyRené Vestergaard
Published in: PLILP (1996)
Keyphrases
  • partial evaluation
  • explanation based generalization
  • test bed
  • data sets