C.: Cyclic proofs of program termination in separation logic (0)

by J Brotherston, R Bornat, Calcagno
Venue:In: POPL