Termination Analysis of Higher-Order Functional Programs
No abstract available.
Related papers
- Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language SAS 1996
- Termination analysis and call graph construction for higher-order functional programs ICFP 2007
- Higher-Order LCTRSs and Their Termination ESOP 2024
- Termination Analysis for Higher-Order Attribute Grammars SLE 2012
- Automatic Termination Verification for Higher-Order Functional Programs ESOP 2014
- Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs CAV 2015
- TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language SAS 1997
- Constraints to Stop Higher-Order Deforestation POPL 1997