Tobias Reinhard, Amin Timany, Bart Jacobs 0002. A separation logic to verify termination of busy-waiting for abrupt program exit. In Wytse Oortwijn, editor, FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020. pages 26-32, ACM, 2020. [doi]
@inproceedings{ReinhardT020,
title = {A separation logic to verify termination of busy-waiting for abrupt program exit},
author = {Tobias Reinhard and Amin Timany and Bart Jacobs 0002},
year = {2020},
doi = {10.1145/3427761.3428345},
url = {https://doi.org/10.1145/3427761.3428345},
researchr = {https://researchr.org/publication/ReinhardT020},
cites = {0},
citedby = {0},
pages = {26-32},
booktitle = {FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020},
editor = {Wytse Oortwijn},
publisher = {ACM},
isbn = {978-1-4503-8186-4},
}