Login / Signup

Termination analysis and specialization-point insertion in offline partial evaluation.

Arne J. GlenstrupNeil D. Jones
Published in: ACM Trans. Program. Lang. Syst. (2005)
Keyphrases
  • partial evaluation
  • termination analysis
  • active rules
  • explanation based generalization
  • active databases
  • abstract interpretation
  • integrity constraints