Declarative Composition of Stack Frames
Abstract elided by the publisher.
Related papers
- Managing stack frames in Smalltalk PLDI 1987
- An abstract stack based approach to verified compositional compilation to machine code POPL 2019
- Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures JFP 1996
- Matching Plans for Frame Inference in Compositional Reasoning ECOOP 2024
- The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic CPP 2025
- Parameter Passing and Control Stack Management in Prolog Implementation Revisited TOPLAS 1996
- Fine-grain Multithreading with Minimal Compiler Support - A Cost Effective Approach to Implementing Efficient Multithreading Languages PLDI 1997
- Reliable and fast DWARF-based stack unwinding OOPSLA 2019