Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. Lecture Notes in Computer Science, 2142:1-19, 2001. 59 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Expressions, Commands, and Assertions - Reynolds (2002) Self-citation (O'hearn Reynolds) (Correct)
No context found.
Peter W. O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Laurent Fribourg, editor, Computer Science Logic, volume 2142 of Lecture Notes in Computer Science, pages 1{ 19, Berlin, 2001. Springer-Verlag.
Semantic and Logical Properties of Stateful Programming - Calcagno (2002) (2 citations) Self-citation (O'hearn) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In L. Fribourg, editor, CSL 2001, pages 1--19. Springer-Verlag, 2001. LNCS 2142.
Inserting Safe Memory Reuse Commands into ML-like Programs - Lee, Yang, Yi (2003) (1 citation) Self-citation (Yang) (Correct)
No context found.
Peter O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In The Proceedings of Computer Science and Logic, pages 1--19, 2001.
Inserting Safe Memory Reuse Commands into ML-like Programs - Lee, Yang, Yi (2003) (1 citation) Self-citation (Yang) (Correct)
....reused at e in their systems. Moreover, Aspinall and Hofmann did not consider an automatic transformation for reuse. Kobayashi provides an automatic transformation, but he requires the memory system to bookkeep a reference counter for every heap cell. Deductive systems like the separation logic [9, 16, 17] and the alias type system [18, 26] are powerful enough to reason about shared mutable data structures, but they cannot be used for our goal; they are not automatic. They need the programmer s help about memory invariants for loops or recursive functions. The region based memory managements [22, ....
Peter O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In The Proceedings of Computer Science and Logic, pages 1-19, 2001.
Typed Stateful Programming - Zhu (2004) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. Lecture Notes in Computer Science, 2142:1-19, 2001. 59
Bigraphical Logics for XML - Giovanni Conforti Universit (2005) (1 citation) (Correct)
No context found.
Peter O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In In Proc. of CSL, volume 2142 of LNCS, pages 1--19. Springer-Verlag, 2001.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Computer Science Logic, volume 2142 of LNCS, pages 1--19. Springer, 2001.
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Proc. CSL, Paris 2001, volume 2142 of LNCS, 2001.
Bigraphical Logics for XML - Giovanni Conforti Universit (2005) (1 citation) (Correct)
No context found.
Peter O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In In Proc. of CSL, volume 2142 of LNCS, pages 1--19. Springer-Verlag, 2001.
On the Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2003) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Proc. CSL, Paris 2001.
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Computer Science Logic, volume 2142 of Lecture Notes in Computer Science, pages 1--19. Springer-Verlag, 2001.
On the Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2003) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Proc. CSL, Paris 2001.
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Proc. CSL, Paris 2001, volume 2142 of LNCS, 2001.
Type Refinements - Harper, Pfenning (2001) (Correct)
No context found.
Peter W. O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Laurent Fribourg, editor, CSL 2001, volume 2142 of Lecture Notes in Computer Science, pages 1--19. Springer, 2001.
Expressiveness and Complexity of Graph Logic - Anuj Dawar Philippa (2004) (Correct)
No context found.
Peter W. O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Proceedings of the 15th International Workshop on Computer Science Logic, pages 1--19. SpringerVerlag, 2001.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Computer Science Logic, volume 2142 of LNCS, pages 1--19. Springer, 2001.
Spatial Tree Logics to Reason about Semistructured Data - Conforti, Ghelli (2003) (Correct)
No context found.
Peter O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In In Proc. of CSL, 2001.
On the Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2004) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Proc. CSL, Paris 2001.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Computer Science Logic, volume 2142 of LNCS, pages 1--19. Springer, 2001.
Experiments on the Effectiveness of an Automatic Insertion of.. - Lee, Yi (2004) (Correct)
No context found.
Peter O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In The Proceedings of Computer Science and Logic, pages 1--19, 2001.
Decidability of Freshness, Undecidability of Revelation - Ghelli, Conforti (2003) (Correct)
No context found.
Peter O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In In Proc. of CSL, volume 2142 of LNCS, pages 1--19. Springer-Verlag, 2001.
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
No context found.
Peter O'Hearn, John Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In Proc. CSL, Paris 2001, volume 2142 of LNCS, 2001.
Decidability of Freshness, Undecidability of Revelation - Ghelli, Conforti (2004) (Correct)
No context found.
Peter O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In In Proc. of CSL, volume 2142 of LNCS, pages 1--19. Springer-Verlag, 2001.
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