@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} }