Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language
Abstract elided by the publisher.
Related papers
- Termination analysis and specialization-point insertion in offline partial evaluation TOPLAS 2005
- Cogen in Six Lines ICFP 1996
- Fast narrowing-driven partial evaluation for inductively sequential programs ICFP 2005
- Realistic Compilation by Partial Evaluation PLDI 1996
- Hybrid partial evaluation OOPSLA 2011
- Efficient Analysis for Realistic Off-Line Partial Evaluation JFP 1993
- Type-Directed Partial Evaluation POPL 1996
- Program generation, termination, and binding-time analysis ICFP 2002