Typing Local Control and State Using Flow Analysis
No abstract available.
Related papers
- StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities POPL 2019
- StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities JFP 2021
- Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management TOPLAS 2020
- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management ESOP 2018
- Control-Flow Analysis and Type Systems SAS 1995
- Typestate-like analysis of multiple interacting objects OOPSLA 2008
- Higher-Order Demand-Driven Program Analysis ECOOP 2016
- Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses PLDI 2025