J. Reynolds. Separation Logic: A logic for shared mutable data structures. In Symp. on Logic in Computer Science, pages 55--74, July 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Resources, Concurrency and Local Reasoning - O'Hearn (2005) Self-citation (Reynolds) (Correct)
No context found.
J. C. Reynolds. Separation logic: a logic for shared mutable data structures. Invited Paper, Proceedings of the 17th IEEE Symposium on Logic in Computer Science, pages 55-74, 2002.
Automated Verification of the Deutsch-Schorr-Waite - Tree-Traversal Algorithm Alexey (Correct)
No context found.
J. Reynolds. Separation Logic: A logic for shared mutable data structures. In Symp. on Logic in Computer Science, pages 55--74, July 2002.
A Semantics for Procedure Local Heaps - And Its Ions (Correct)
No context found.
J. Reynolds. Separation logic: a logic for shared mutable data structures. In Logic in Computer Science, pages 55--74, 2002.
A Marriage of Rely/Guarantee and Separation - Logic Viktor Vafeiadis (Correct)
No context found.
J. C. Reynolds. Separation logic: A logic for shared mutable data structures. In LICS '02: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, pages 55--74, Washington, DC, USA, 2002. IEEE Computer Society.
Permission Accounting in Separation Logic - Richard Bornat School (2005) (1 citation) (Correct)
No context found.
J. Reynolds. Separation logic: a logic for shared mutable data structures. Invited Paper, LICS'02, 2002.
Graphical Verification of a Spatial Logic for the π-calculus - Gadducci, Lafuente (2005) (Correct)
No context found.
Reynolds, J., Separation logic: A logic for shared mutable data structures,in: Logic in Computer Science (2002), pp. 55--74.
Variables as Resource in Hoare Logics - Matthew Parkinson And (2006) (Correct)
No context found.
J. C. Reynolds. Separation logic: A logic for shared mutable data structures. In LICS '02: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, pages 55-- 74, Washington, DC, USA, 2002. IEEE Computer Society.
When separation logic met Java (by example) - Matthew Parkinson Middlesex (Correct)
No context found.
J. C. Reynolds. Separation logic: A logic for shared mutable data structures. In Proceedings of LICS, pages 55--74, 2002.
Automatic Termination Proofs for Programs With Shape-Shifting .. - Josh Berdine Byron (2006) (Correct)
No context found.
J. Reynolds. Separation logic: A logic for shared mutable data structures. In LICS, 2002.
Interprocedural Shape Analysis with Separated Heap.. - Gotsman, Berdine, Cook (Correct)
No context found.
J. Reynolds. Separation logic: A logic for shared mutable data structures. In LICS, pages 55--74, 2002.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
No context found.
J. C. Reynolds. Separation logic: A logic for shared mutable data structures. In Symposium on Logic in Computer Science'02, pages 55--74, 2002.
Inferring Invariants in Separation Logic for Imperative - List-Processing Programs.. (Correct)
No context found.
John C. Reynolds. Separation logic: A logic for shared mutable data structures. Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, pages 55--74, 2002.
Lightweight Object Specification with Typestates - Bierhoff, Aldrich (2005) (Correct)
No context found.
J. C. Reynolds. Separation logic: A logic for shared mutable data structures. In IEEE Symposium on Logic in Computer Science, pages 55--74, 2002.
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
No context found.
J. C. Reynolds. Separation Logic: a Logic for Shared Mutable Data Structures. In Logic in Computer Science, July 2002.
Jonathan Aldrich - Requirements For The (Correct)
No context found.
John C. Reynolds. Separation Logic: a Logic for Shared Mutable Data Structures. Proc. Logic in Computer Science, Copenhagen, Denmark, July 2002.
Verification of Safety Properties for Concurrent Assembly Code - Dachuan Yu And (2004) (Correct)
No context found.
J. C. Reynolds. Separation logic: A logic for shared mutable data structures. In Proceedings Seventeenth Annual IEEE Symposium on Logic in Computer Science, pages 55--74, Los Alamitos, California, July 2002. IEEE Computer Society.
Typed Stateful Programming - Zhu (2004) (Correct)
No context found.
J. Reynolds. Separation logic: a logic for shared mutable data structures, 2002. Invited Paper, LICS'02.
Applied Type System with Stateful Views - Hongwei Xi Dengping (Correct)
No context found.
Reynolds, J. (2002). Separation Logic: a logic for shared mutable data structures. In Proceedings of 17th IEEE Symposium on Logic in Computer Science (LICS '02).
Bigraphical Logics for XML - Giovanni Conforti Universit (2005) (1 citation) (Correct)
No context found.
John C. Reynolds. Separation logic: A logic for shared mutable data structures. In Proc. LICS'02, pages 55--74. IEEE Computer Society, 2002. 13
Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
No context found.
J.C. Reynolds. Separation logic: A logic for shared mutable data structures. In: LICS, pp. 55--74. IEEE CS Press, 2002.
Compositional Reasoning for Pointer Structures - Chen, Sanders (Correct)
No context found.
J.C. Reynolds. Separation logic: A logic for shared mutable data structures. In LICS'02, pages 55--74. IEEE Computer Society, 2002.
Toward a General Theory of Names, Binding and Scope - James Cheney University (Correct)
No context found.
John C. Reynolds. Separation Logic: A Logic for Shared Mutable Data Structures. In Proc. IEEE Symposium on Logic in Computer Science, pages 55--74, Los Alamitos, CA, USA, July 22--25 2002. IEEE Computer Society.
A Local Shape Analysis based on Separation Logic - Distefano, O'Hearn, Yang (2006) (4 citations) (Correct)
No context found.
J. C. Reynolds. Separation logic: A logic for shared mutable data structures. In 17th LICS, pp 55-74, 2002.
Implications of a Data Structure Consistency Checking System - Kuncak, Lam, Zee, Rinard (2005) (Correct)
No context found.
J. C. Reynolds. Separation logic: a logic for shared mutable data structures. In 17th LICS, pages 55--74, 2002.
Who is Pointing When to Whom: On Model-Checking Pointer.. - Distefano, Rensink.. (2003) (Correct)
No context found.
J.C. Reynolds. Separation logic: A logic for shared mutable data structures. In Proceedings of the Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS), pages 55--74, 2002.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC