Iterative-free program analysis.
https://doi.org/10.1145/944705.944716
@inproceedings{DBLP:conf/icfp/OgawaHS03,
author = {Mizuhito Ogawa and
Zhenjiang Hu and
Isao Sasano},
editor = {Colin Runciman and
Olin Shivers},
title = {Iterative-free program analysis},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {111--123},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944716},
doi = {10.1145/944705.944716},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/icfp/OgawaHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签