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
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Automated Verification of the Deutsch-Schorr-Waite - Tree-Traversal Algorithm Alexey (Correct)
A Semantics for Procedure Local Heaps - And Its Ions (Correct)
A Marriage of Rely/Guarantee and Separation - Logic Viktor Vafeiadis (Correct)
Permission Accounting in Separation Logic - Richard Bornat School (2005) (1 citation) (Correct)
Graphical Verification of a Spatial Logic for the π-calculus - Gadducci, Lafuente (2005) (Correct)
Variables as Resource in Hoare Logics - Matthew Parkinson And (2006) (Correct)
When separation logic met Java (by example) - Matthew Parkinson Middlesex (Correct)
Automatic Termination Proofs for Programs With Shape-Shifting .. - Josh Berdine Byron (2006) (Correct)
Interprocedural Shape Analysis with Separated Heap.. - Gotsman, Berdine, Cook (Correct)
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
Inferring Invariants in Separation Logic for Imperative - List-Processing Programs.. (Correct)
Lightweight Object Specification with Typestates - Bierhoff, Aldrich (2005) (Correct)
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
Jonathan Aldrich - Requirements For The (Correct)
Verification of Safety Properties for Concurrent Assembly Code - Dachuan Yu And (2004) (Correct)
Typed Stateful Programming - Zhu (2004) (Correct)
Applied Type System with Stateful Views - Hongwei Xi Dengping (Correct)
Bigraphical Logics for XML - Giovanni Conforti Universit (2005) (1 citation) (Correct)
Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
Compositional Reasoning for Pointer Structures - Chen, Sanders (Correct)
Toward a General Theory of Names, Binding and Scope - James Cheney University (Correct)
A Local Shape Analysis based on Separation Logic - Distefano, O'Hearn, Yang (2006) (4 citations) (Correct)
Implications of a Data Structure Consistency Checking System - Kuncak, Lam, Zee, Rinard (2005) (Correct)
Who is Pointing When to Whom: On Model-Checking Pointer.. - Distefano, Rensink.. (2003) (Correct)
Resources, Concurrency and Local Reasoning - O'Hearn (2005) Self-citation (Reynolds) (Correct)
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