L. Birkedal, N. Torp-Smith, and J. C. Reynolds. Local reasoning about a copying garbage collector. In 31st ACM POPL, pages 220--231. ACM Press, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
No context found.
L. Birkedal, N. Torp-Smith, and J. C. Reynolds. Local reasoning about a copying garbage collector. In 31st ACM POPL, pages 220--231. ACM Press, 2004.
Separation Logic and Abstraction - Parkinson, Bierman (2005) (2 citations) (Correct)
No context found.
L. Birkedal, N. Torp-Smith, and J.C. Reynolds. Local reasoning about a copying garbage collector. In Proceedings of POPL, 2004.
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
No context found.
Lars Birkedal, Noah Torp-Smith, and John C. Reynolds. Local reasoning about a copying garbage collector. In Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 220--231. ACM Press, 2004.
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
No context found.
Lars Birkedal, Noah Torp-Smith, and John C. Reynolds. Local reasoning about a copying garbage collector. In Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 220--231. ACM Press, 2004.
Towards Certificate Generation for Linear Heap.. - Beringer, Hofmann.. (Correct)
No context found.
L. Birkedal, N. Torp-Smith, and J. C. Reynolds. Local reasoning about a copying garbage collector. In Proceedings of the 31st ACM Symposium on Principles of Programming Languages (POPL'04), 2004.
Low-Level Linear Memory Management - Hawblitzel, Wei, Huang, Krupski.. (2004) (2 citations) (Correct)
No context found.
L. Birkedal, N. Torp-Smith, and J.C. Reynolds. Local reasoning about a copying garbage collector. In Symposium on Principles of Programming Languages (POPL), 2004.
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
No context found.
Lars Birkedal, Noah Torp-Smith, and John C. Reynolds. Local reasoning about a copying garbage collector. In Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 220--231. ACM Press, 2004.
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