CFA2: A Context-Free Approach to Control-Flow Analysis
From MaRDI portal
Publication:3558250
DOI10.1007/978-3-642-11957-6_30zbMath1260.68076OpenAlexW2112836639MaRDI QIDQ3558250
Olin Shivers, Dimitrios Vardoulakis
Publication date: 4 May 2010
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_30
Related Items (3)
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap ⋮ Certifying assembly programs with trails ⋮ Abstract allocation as a unified approach to polyvariance in control-flow analyses
This page was built for publication: CFA2: A Context-Free Approach to Control-Flow Analysis