Relatively Complete Pushdown Analysis of Escape Continuations

Reference. Relatively Complete Pushdown Analysis of Escape Continuations

Kimball Germane, Matthew Might · VMCAI · 2019 · control-flow-analysis · DOI · pldb

Cite

Cite as @germane-2019-relatively (helia, typst) · \cite{germane-2019-relatively} (LaTeX)

BibTeX

bibtex · 1 line

@inbook{germane-2019-relatively, title={Relatively Complete Pushdown Analysis of Escape Continuations}, ISBN={9783030112455}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-11245-5_10}, DOI={10.1007/978-3-030-11245-5_10}, booktitle={Verification, Model Checking, and Abstract Interpretation}, publisher={Springer International Publishing}, author={Germane, Kimball and Might, Matthew}, year={2019}, pages={205–225} }

hayagriva YAML (typst)

yaml · 17 lines

germane-2019-relatively:
  type: chapter
  title: Relatively Complete Pushdown Analysis of Escape Continuations
  author:
  - Germane, Kimball
  - Might, Matthew
  date: 2019
  page-range: 205-225
  url: http://dx.doi.org/10.1007/978-3-030-11245-5_10
  serial-number:
    doi: 10.1007/978-3-030-11245-5_10
    isbn: '9783030112455'
    issn: 1611-3349
  parent:
    type: book
    title: Verification, Model Checking, and Abstract Interpretation
    publisher: Springer International Publishing

Download: germane-2019-relatively.bib · germane-2019-relatively.yml

Cites 21 works (2 here)

With notes (2)

Pushdown control-flow analysis for free gilray-2016-pushdownPOPL · 2016

PDF · DOI · arXiv · pldb

Abstracting abstract machines vanhorn-2010-abstractingICFP · 2010

PDF · DOI · arXiv · pldb

External (19)

Multi-continuation pushdown analysis (technical report) (2019)
Abstracting abstract control (2014)
Pruning, Pushdown Exception-Flow Analysis (2014)
Ordering multiple continuations on the stack (2011)
Pushdown flow analysis of first-class control (2011)
CFA2: a context-free approach to control-flow analysis (2010)
Pushdown control-flow analysis of higher-order programs (Workshop on Scheme and Functional Programming) (2010)
Compiling self-adjusting programs with continuations (2008)
Compiling with Continuations (2007)
Compiling with continuations, continued (2007)
Environment analysis of higher-order languages (PhD thesis, Georgia Tech) (2007)
Environment analysis via ΔCFA (2006)
Multi-return function call (2006)
Comparing Control Constructs by Double-Barrelled CPS (2002)
Assessing the Overhead of ML Exceptions by Selective CPS Transformation (1998)
On the expressive power of programming languages (1991)
Control-flow analysis of higher-order languages (PhD thesis, CMU) (1991)
Representing control in the presence of first-class continuations (1990)
ORBIT: an optimizing compiler for scheme (1986)