Transfinite Step-Indexing: Decoupling Concrete and Logical Steps
No abstract available.
Related papers
- Transfinite Iris: resolving an existential dilemma of step-indexed separation logic PLDI 2021
- Transfinite step-indexing for termination POPL 2021
- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types ESOP 2006
- Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris ICFP 2020
- Building Blocks for Step-Indexed Program Logics CPP 2026
- Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice POPL 2023
- Biorthogonality, step-indexing and compiler correctness ICFP 2009
- Step-indexed kripke models over recursive worlds POPL 2011