Cyclic proofs of program termination in separation logic.

James Brotherston, Richard Bornat, Cristiano Calcagno

Browse the full POPL paper archive.