Sumit Gulwani, Florian Zuleger
The reachability-bound problem
PLDI, 2010.
@inproceedings{PLDI-2010-GulwaniZ, author = "Sumit Gulwani and Florian Zuleger", booktitle = "{Proceedings of the 31st Conference on Programming Language Design and Implementation}", doi = "10.1145/1806596.1806630", editor = "Benjamin G. Zorn and Alexander Aiken", isbn = "978-1-4503-0019-3", pages = "292--304", publisher = "{ACM}", title = "{The reachability-bound problem}", year = 2010, }