CFA2: A Context-Free Approach to Control-Flow Analysis

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

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