Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn. Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 845-859, ACM, 2019. [doi]
@inproceedings{NguyenGTH19,
title = {Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs},
author = {Phuc C. Nguyen and Thomas Gilray and Sam Tobin-Hochstadt and David Van Horn},
year = {2019},
doi = {10.1145/3314221.3314643},
url = {https://doi.org/10.1145/3314221.3314643},
researchr = {https://researchr.org/publication/NguyenGTH19},
cites = {0},
citedby = {0},
pages = {845-859},
booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019},
editor = {Kathryn S. McKinley and Kathleen Fisher},
publisher = {ACM},
isbn = {978-1-4503-6712-7},
}