Emma Nilsson-Nyman, G{\"o}rel Hedin, Eva Magnusson, Torbj{\"o}rn Ekman. Declarative Intraprocedural Flow Analysis of Java Source Code. Electronic Notes in Theoretical Computer Science, 238(5), 2009.
@article{DBLP:journals-entcs-Nilsson-NymanHME09,
title = {Declarative Intraprocedural Flow Analysis of Java Source Code},
author = {Emma Nilsson-Nyman and G{\"o}rel Hedin and Eva Magnusson and Torbj{\"o}rn Ekman},
year = {2009},
tags = {Java, points-to analysis, analysis, data-flow, source-to-source, data-flow analysis, open-source},
researchr = {https://researchr.org/publication/DBLP%3Ajournals-entcs-Nilsson-NymanHME09},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {5},
}