Cristiano Calcagno and Peter W. O'Hearn. On garbage and program logic. In Foundations of Software Science and Computation Structures, volume 2030. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Separation Logic: A Logic for Shared Mutable Data Structures - Reynolds (2002) (104 citations) (Correct)
....piece of structure, and would be falsified if the disconnected piece were reclaimed by a garbage collector. In this case, the assertions are all intuitionistic, and indeed it is hard to concoct a reasonable program logic that would prohibit such a derivation. Calcagno, O Hearn, and Bornat [7, 6, 5, 4] have explored ways of avoiding this problem by defining the existential quantifier in a nonstandard way, and have defined a rich variety of logics that are insensitive to garbage collection. Unfortunately, there is no brief way of relating these logics to those discussed in this paper. 11. ....
C. Calcagno and P. W. O'Hearn. On garbage and program logic. In Foundations of Software Science and Computation Structures, volume 2030.
Expressions, Commands, and Assertions - Reynolds (2002) Self-citation (O'hearn) (Correct)
No context found.
Cristiano Calcagno and Peter W. O'Hearn. On garbage and program logic. In Foundations of Software Science and Computation Structures, volume 2030.
Semantic and Logical Properties of Stateful Programming - Calcagno (2002) (2 citations) Self-citation (Calcagno O'hearn) (Correct)
No context found.
Cristiano Calcagno and Peter W. O'Hearn. On garbage and program logic. In Proceedings of FOSSACS'01, volume 2030 of LNCS, pages 137--151. Springer, 2001.
Semantics and Logic of Object Calculi - Reus, Streicher (2002) (1 citation) (Correct)
No context found.
C. Calcagno and P. W. O'Hearn. On garbage and program logic. In FoSSaCS, volume 2030.
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