MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Decidable Fragment of Separation Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

A Decidable Fragment of Separation Logic
by Josh Berdine, Cristiano Calcagno, Peter O'Hearn — 2004 — In FSTTCS
…A Decidable Fragment of Separation Logic Josh Berdine 1 , Cristiano Calcagno 2 , and Peter O…
Cited by 38 (6 self) – Add To MetaCart

data structure (abstract of invited lecture). In Fritz Henglein,
by Structure In Jim Davies, Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, Hongseok Yang Local Reasoning, John C. Reynolds, John Hughes, Henning Makholm, Henning Niss
…-Verlag. [17] John C. Reynolds. Separation logic: A logic for shared mutable data structures. In Proceedings…
Add To MetaCart

An inference-rule-based decision procedure for verification of heap-manipulating programs with mutable data and cyclic data structures
by Zvonimir Rakamarić, Jesse Bingham, Alan J. Hu — 2007 — In Verification, Model Checking, and Abstract Interpretation (VMCAI ’06), LNCS 4349
… to other methods known at the time. That work, however, was a proof-ofconcept, with a logic fragment too…
Cited by 4 (0 self) – Add To MetaCart

Local Hoare reasoning about DOM
by Gareth D. Smith, Mark J. Wheelhouse, Uri D. Zarfaty — In Proceedings of the TwentySeventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems: PODS’08
…-programs based on a decidable fragment of Separation Logic. Ideas from Smallfoot are now being used…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB