Relatively complete pushdown analysis of escape continuations

DOI10.1007/978-3-030-11245-5_10MaRDI QIDQ2287083zbMATH OpenOpenAlexFDO

Authors Kimball Germane, Matthew Might

Publication date 23 January 2020

Full work available at URL https://doi.org/10.1007/978-3-030-11245-5_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Pushdown flow analysis of first-class control
• Pushdown control-flow analysis for free
• CFA2: A Context-Free Approach to Control-Flow Analysis
• CFA2: a context-free approach to control-flow analysis
• A foundation of escape analysis

Cited in

(3)

• A type-based escape analysis for functional languages
• scientific article; zbMATH DE number 2086513 (Why is no real title available?)
• Pushdown flow analysis of first-class control

This page was built for publication: Relatively complete pushdown analysis of escape continuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2287083)