Cyclic proofs of program termination in separation logic. Forthcoming

by James Brotherston
Citations:17 - 6 self

Document Versions

Cyclic proofs of program termination in separation logic. Forthcoming –James Brotherston
Cyclic proofs of program termination in separation logic. Forthcoming –James Brotherston
Cyclic proofs of program termination in separation logic –James Brotherston, Richard Bornat, Cristiano Calcagno — 2008 — In Proc. POPL-35. ACM