Byron Cook, Andreas Podelski, Andrey Rybalchenko. Proving thread termination. In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 320-330, ACM, 2007. [doi]
@inproceedings{CookPR07,
title = {Proving thread termination},
author = {Byron Cook and Andreas Podelski and Andrey Rybalchenko},
year = {2007},
doi = {10.1145/1250734.1250771},
url = {http://doi.acm.org/10.1145/1250734.1250771},
tags = {termination},
researchr = {https://researchr.org/publication/CookPR07},
cites = {0},
citedby = {0},
pages = {320-330},
booktitle = {Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007},
editor = {Jeanne Ferrante and Kathryn S. McKinley},
publisher = {ACM},
isbn = {978-1-59593-633-2},
}