Correctness of a Higher-Order Removal Transformation through a Relational Reasoning
No abstract available.
Related papers
- A kripke logical relation for effect-based program transformations ICFP 2011
- The impact of higher-order state and control effects on local relational reasoning JFP 2012
- Approximate Relational Reasoning for Higher-Order Probabilistic Programs POPL 2025
- Short cut fusion is correct JFP 2003
- HOLL: Program Synthesis for Higher Order Logic Locking TACAS 2022
- A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions POPL 1991
- The impact of higher-order state and control effects on local relational reasoning ICFP 2010
- Higher-Order unCurrying POPL 1998