Rajeev Alur, Pavol Cerný, Scott Weinstein. Algorithmic Analysis of Array-Accessing Programs. In Erich Grädel, Reinhard Kahle, editors, Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Volume 5771 of Lecture Notes in Computer Science, pages 86-101, Springer, 2009. [doi]
@inproceedings{AlurCW09, title = {Algorithmic Analysis of Array-Accessing Programs}, author = {Rajeev Alur and Pavol Cerný and Scott Weinstein}, year = {2009}, doi = {10.1007/978-3-642-04027-6_9}, url = {http://dx.doi.org/10.1007/978-3-642-04027-6_9}, tags = {program analysis, analysis}, researchr = {https://researchr.org/publication/AlurCW09}, cites = {0}, citedby = {0}, pages = {86-101}, booktitle = {Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings}, editor = {Erich Grädel and Reinhard Kahle}, volume = {5771}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-04026-9}, }