Emma Nilsson-Nyman, Görel Hedin, Eva Magnusson, Torbjörn Ekman. Declarative Intraprocedural Flow Analysis of Java Source Code. Electronic Notes in Theoretical Computer Science, 238(5):155-171, 2009. [doi]
@article{Nilsson-NymanHME09,
title = {Declarative Intraprocedural Flow Analysis of Java Source Code},
author = {Emma Nilsson-Nyman and Görel Hedin and Eva Magnusson and Torbjörn Ekman},
year = {2009},
doi = {10.1016/j.entcs.2009.09.046},
url = {http://dx.doi.org/10.1016/j.entcs.2009.09.046},
tags = {Java, points-to analysis, analysis, data-flow, source-to-source, data-flow analysis, open-source},
researchr = {https://researchr.org/publication/Nilsson-NymanHME09},
cites = {0},
citedby = {1},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {5},
pages = {155-171},
}