Searching for "Separation Logic A Logic for Shared Mutable Data Structures." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Separation Logic: A Logic for Shared Mutable Data Structures
- …Separation Logic: A Logic for Shared Mutable Data Structures Abstract In joint work with Peter O…
- Add To MetaCart
-
Separation Logic: A Logic for Shared Mutable Data Structures
- …. Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds Computer Science Department…
- Cited by 348 (5 self) – Add To MetaCart
-
Separation Logic: A Logic for shared Mutable data Structures
- … Logic for shared Mutable data Structures, and our paper on Context Logic and Tree Update. We acknowledge…
- Add To MetaCart
-
data structure (abstract of invited lecture). In Fritz Henglein,
- …-Verlag. [17] John C. Reynolds. Separation logic: A logic for shared mutable data structures. In Proceedings…
- Add To MetaCart
-
BOSTON UNIVERSITY GRADUATE SCHOOL OF ARTS AND SCIENCES
- … checking. -J.C.Reynolds. Separation Logic: A Logic for Shared Mutable Data Structures [29] In this thesis…
- Add To MetaCart
-
Printed by AlfapressPreface
- …– 107. Springer, March 2007. 5. John C. Reynolds. Separation logic: A logic for shared mutable data…
- Add To MetaCart
-
166 Bibliography
- … Languages. Cambridge University Press, 1998. [Rey02] John C. Reynolds. Separation logic: A logic for shared…
- Add To MetaCart
Showing 1 through 7.
