@inbook{germane-2019-demand, title={Demand Control-Flow Analysis}, ISBN={9783030112455}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-11245-5_11}, DOI={10.1007/978-3-030-11245-5_11}, booktitle={Verification, Model Checking, and Abstract Interpretation}, publisher={Springer International Publishing}, author={Germane, Kimball and McCarthy, Jay and Adams, Michael D. and Might, Matthew}, year={2019}, pages={226–246} }