Neil D. Jones, Nils Andersen. Flow analysis of lazy higher-order functional programs. Theoretical Computer Science, 375(1-3):120-136, 2007. [doi]
@article{JonesA07,
title = {Flow analysis of lazy higher-order functional programs},
author = {Neil D. Jones and Nils Andersen},
year = {2007},
doi = {10.1016/j.tcs.2006.12.030},
url = {http://dx.doi.org/10.1016/j.tcs.2006.12.030},
tags = {laziness, program analysis, functional programming, analysis, data-flow programming, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/JonesA07},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {375},
number = {1-3},
pages = {120-136},
}