A Tail-Recursive Semantics for Stack Inspections
No abstract available.
Related papers
- A tail-recursive machine with stack inspection TOPLAS 2004
- Proper Tail Recursion and Space Efficiency PLDI 1998
- Tail Modulo Cons, OCaml, and Relational Separation Logic POPL 2025
- Stack inspection: theory and variants POPL 2002
- Stack inspection: Theory and variants TOPLAS 2003
- Abstracting abstract machines ICFP 2010
- Memory Simulations, Security and Optimization in a Verified Compiler CPP 2024
- Tail recursion modulo context: An equational approach (extended version) JFP 2025