@article{midtgaard:hal-00758152, TITLE = {{Control-flow analysis of function calls and returns by abstract interpretation}}, AUTHOR = {Midtgaard, Jan and Jensen, Thomas}, URL = {https://hal.inria.fr/hal-00758152}, JOURNAL = {{Information and Computation}}, PUBLISHER = {{Elsevier}}, VOLUME = {2012}, PAGES = {49-76}, YEAR = {2012}, MONTH = Jan, DOI = {10.1016/j.ic.2011.11.005}, HAL_ID = {hal-00758152}, HAL_VERSION = {v1}, }