Cristiano Calcagno, Peter W. O'Hearn, and Richard Bornat. Program logic and equivalence in the presence of garbage collection. Submitted July 2001. 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, P. W. O'Hearn, and R. Bornat. Program logic and equivalence in the presence of garbage collection. Submitted July 2001.
Expressions, Commands, and Assertions - Reynolds (2002) Self-citation (O'hearn) (Correct)
No context found.
Cristiano Calcagno, Peter W. O'Hearn, and Richard Bornat. Program logic and equivalence in the presence of garbage collection. Submitted July 2001.
Semantic and Logical Properties of Stateful Programming - Calcagno (2002) (2 citations) Self-citation (Calcagno O'hearn) (Correct)
No context found.
Cristiano Calcagno, Peter W. O'Hearn, and Richard Bornat. Program logic and equivalence in the presence of garbage collection. Submitted for Publication, 2001.
Local Reasoning about a Copying Garbage Collector - Birkedal, Torp-Smith, Reynolds (2004) (7 citations) (Correct)
No context found.
C. Calcagno, P. O'Hearn, and R. Bornat. Program logic and equivalence in the presence of garbage collection. Theoretical Computer Science, 298(3):557 -- 581, 2003.
A Compositional Logic for Polymorphic Higher-Order Functions - Honda, Yoshida (2004) (Correct)
No context found.
Calcagno, C., O'Hearn, P. and Bornat, R. Program logic and equivalence in the presence of garbage collection. TCS, 298(3):557-581, 2003.
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