Alexey Bakhirkin, Josh Berdine, Nir Piterman. A Forward Analysis for Recurrent Sets. In Sandrine Blazy, Thomas Jensen, editors, Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. Volume 9291 of Lecture Notes in Computer Science, pages 293-311, Springer, 2015. [doi]
@inproceedings{BakhirkinBP15,
title = {A Forward Analysis for Recurrent Sets},
author = {Alexey Bakhirkin and Josh Berdine and Nir Piterman},
year = {2015},
doi = {10.1007/978-3-662-48288-9_17},
url = {http://dx.doi.org/10.1007/978-3-662-48288-9_17},
researchr = {https://researchr.org/publication/BakhirkinBP15},
cites = {0},
citedby = {0},
pages = {293-311},
booktitle = {Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings},
editor = {Sandrine Blazy and Thomas Jensen},
volume = {9291},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-48287-2},
}