P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In L. Fribourg, editor, CSL 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Permission Accounting in Separation Logic - Richard Bornat School (2005) (1 citation) Self-citation (O'hearn) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In L. Fribourg, editor, CSL 2001.
Resources, Concurrency and Local Reasoning - O'Hearn (2005) Self-citation (O'hearn Reynolds) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proceedings of 15th Annual Conference of the European Association for Computer Science Logic, LNCS, pages 1--19. Springer-Verlag, 2001.
A Local Shape Analysis based on Separation Logic - Distefano, O'Hearn, Yang (2006) (4 citations) Self-citation (O'hearn Yang) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proc. of 15th CSL, LNCS, pages 1--19. Springer-Verlag, 2001.
Symbolic Execution with Separation Logic - Berdine, Calcagno, O'Hearn (2005) (2 citations) Self-citation (O'hearn) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proceedings of 15th Annual Conference of the European Association for Computer Science Logic, LNCS, pages 1--19. Springer-Verlag, 2001. 15
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) Self-citation (O'hearn Reynolds Yang) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proceedings of Computer Science Logic, pages 1--19, 2001. LNCS 2142.
Notes on Separation Logic for Shared-variable - Concurrency Peter Hearn Self-citation (O'hearn) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proceedings of 15th Annual Conference of the European Association for Computer Science Logic: CSL 2001.
A Decidable Fragment of Separation Logic - Berdine, Calcagno, O'Hearn (2004) (3 citations) Self-citation (O'hearn) (Correct)
No context found.
O'Hearn, P., Reynolds, J., Yang, H.: Local reasoning about programs that alter data structures. In: CSL. Volume 2142 of LNCS., Springer (2001) 1--19
Variables as Resource in Hoare Logics - Matthew Parkinson And (2006) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In L. Fribourg, editor, CSL 2001.
When Separation Logic met Java (Work in progress) - Matthew Parkinson University (Correct)
No context found.
P.W. O'Hearn, J.C. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proceedings of CSL, 2001.
When separation logic met Java (by example) - Matthew Parkinson Middlesex (Correct)
No context found.
P. W. O'Hearn, J. C. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proceedings of CSL, pages 1--19, 2001.
Interprocedural Shape Analysis with Separated Heap.. - Gotsman, Berdine, Cook (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In CSL, volume 2142 of LNCS, pages 1--19, 2001.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) (Correct)
No context found.
P. O'Hearn, J. C. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In CSL '01, pages 1--19, Paris, 2001.
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (7 citations) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Computer Science Logic, number 2142 in LNCS, pages 1--19, Paris, 2001.
Compositional Reasoning for Pointer Structures - Chen, Sanders (Correct)
No context found.
P. W. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proceedings of Computer Science Logic, volume 2142, pages 1--19. Springer, 2001.
Implications of a Data Structure Consistency Checking System - Kuncak, Lam, Zee, Rinard (2005) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proc. CSL, Paris 2001, volume 2142 of LNCS, 2001.
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proc. CSL, Paris 2001, volume 2142 of LNCS, 2001.
Separation Logic and Abstraction - Parkinson, Bierman (2005) (2 citations) (Correct)
No context found.
P.W. O'Hearn, J.C. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proceedings of CSL, 2001.
Context Logic and Tree Update - Cristiano Calcagno Philippa (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In L. Fribourg, editor, Computer Science Logic (CSL'01), pages 1--19. Springer-Verlag, 2001. LNCS 2142.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In CSL, LNCS 2142, pages 1--19. Springer-Verlag, 2001.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In CSL, LNCS 2142, pages 1--19. Springer-Verlag, 2001.
Generalized Typestate Checking Using Set Interfaces and.. - Patrick Lam Viktor (2004) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In Proceedings of CSL'01, Paris, France, 2001.
A Practical Perspective on the Verifying Compiler Proposal - Ireland (Correct)
No context found.
P. O'Hearn, J. Reynolds, and Y. Hongseok. Local reasoning about programs that alter data structures. In Proceedings of CSL'01, volume 2142 of Lecture Notes in Computer Science, Paris, 2001.
Using Separation Logic to go from Functional Specifications to .. - Rezk, Blanco (2003) (Correct)
No context found.
O'Hearn P.W. Reynolds J.C Yang H. Local Reasoning about Programs that Alter Data Structures.In L. Fribourg, editor, Computer Science Logic, volume 2142 of Lecture Notes in Computer Science, pages 1-19, Berlin, 2001. Springer-Verlag.
Canonical Graph Shapes - Rensink (2004) (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In L. Fribourg, ed., CSL 2001, vol. 2142 of LNCS, pp. 1--19. Springer, 2001.
A Separation Logic for Resource Distribution (Extended Abstract) - Biri, Galmiche (Correct)
No context found.
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In 15th Int. Workshop on Computer Science Logic, CSL
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