James Brotherston, Richard Bornat, Cristiano Calcagno
Cyclic proofs of program termination in separation logic
POPL, 2008.
@inproceedings{POPL-2008-BrotherstonBC, author = "James Brotherston and Richard Bornat and Cristiano Calcagno", booktitle = "{Proceedings of the 35th Symposium on Principles of Programming Languages}", doi = "10.1145/1328438.1328453", editor = "George C. Necula and Philip Wadler", isbn = "978-1-59593-689-9", pages = "101--112", publisher = "{ACM}", title = "{Cyclic proofs of program termination in separation logic}", year = 2008, }