Termination Analysis for Partial Functions
No abstract available.
Related papers
- Automatic Termination Analysis for Partial Functions Using Polynomial Orderings SAS 1997
- Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language SAS 1996
- Termination analysis and specialization-point insertion in offline partial evaluation TOPLAS 2005
- Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination APLAS 2021
- Lifted termination analysis by abstract interpretation and its applications GPCE 2021
- Efficient Analysis for Realistic Off-Line Partial Evaluation JFP 1993
- Fast narrowing-driven partial evaluation for inductively sequential programs ICFP 2005
- Program generation, termination, and binding-time analysis ICFP 2002