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

DOI10.2168/LMCS-7(2:3)2011zbMath1213.68211MaRDI QIDQ3003321

Olin Shivers, Dimitrios Vardoulakis

Publication date: 26 May 2011

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

higher-order languagescontrol-flow analysissummarizationpushdown models

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap ⋮ Systematic abstraction of abstract machines

Uses Software

• Snugglebug

This page was built for publication: CFA2: a Context-Free Approach to Control-Flow Analysis