Jan Midtgaard, Thomas P. Jensen. Control-flow analysis of function calls and returns by abstract interpretation. In Graham Hutton, Andrew P. Tolmach, editors, Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. pages 287-298, ACM, 2009. [doi]
@inproceedings{MidtgaardJ09,
title = {Control-flow analysis of function calls and returns by abstract interpretation},
author = {Jan Midtgaard and Thomas P. Jensen},
year = {2009},
doi = {10.1145/1596550.1596592},
url = {http://doi.acm.org/10.1145/1596550.1596592},
tags = {analysis, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/MidtgaardJ09},
cites = {0},
citedby = {0},
pages = {287-298},
booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
editor = {Graham Hutton and Andrew P. Tolmach},
publisher = {ACM},
isbn = {978-1-60558-332-7},
}