Document Versions

A Decidable Fragment of Separation Logic –Josh Berdine, Cristiano Calcagno, Peter O'Hearn — 2004 — In FSTTCS
A Decidable Fragment of Separation Logic –Josh Berdine, Cristiano Calcagno, Peter O'Hearn — 2004 — In FSTTCS
A decidable fragment of separation logic –Josh Berdine, Cristiano Calcagno, Peter W. O’hearn — 2004 — In FSTTCS
A decidable fragment of separation logic –Josh Berdine, Cristiano Calcagno, Peter W. O’hearn — 2004 — In FSTTCS
A decidable fragment of separation logic –Josh Berdine, Cristiano Calcagno, Peter W. O’hearn — 2004 — In FSTTCS
A decidable fragment of separation logic –Josh Berdine, Cristiano Calcagno, Peter W. O’hearn — 2004 — In FSTTCS
A decidable fragment of separation logic –Josh Berdine, Cristiano Calcagno, Peter W. O’hearn — 2004 — In FSTTCS