Iterative-free program analysis.
https://doi.org/10.1145/944746.944716
@article{DBLP:journals/sigplan/OgawaHS03,
author = {Mizuhito Ogawa and
Zhenjiang Hu and
Isao Sasano},
title = {Iterative-free program analysis},
journal = {{SIGPLAN} Notices},
volume = {38},
number = {9},
pages = {111--123},
year = {2003},
url = {https://doi.org/10.1145/944746.944716},
doi = {10.1145/944746.944716},
timestamp = {Tue, 06 Nov 2018 12:51:13 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/OgawaHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签