P.W. O'Hearn, H.Yang, and J.C. Reynolds. Separation and information hiding. In Proceedings of POPL, 2004. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Resources, Concurrency and Local Reasoning - O'Hearn (2005) Self-citation (O'hearn Reynolds) (Correct)
No context found.
P. W. O'Hearn, H. Yang, and J. C. Reynolds. Separation and information hiding. In 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 268-- 280, Venice, January 2004.
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. W. O'Hearn, H. Yang, and J. C. Reynolds. Separation and information hiding. In 31st POPL, pages 268--280, 2004.
Refinement and Separation Contexts - Mijajlovic, Torp-Smith, O'Hearn Self-citation (O'hearn) (Correct)
No context found.
O'Hearn, P., Yang, H., Reynolds, J. C.: Separation and information hiding. POPL (2004)
A Decidable Fragment of Separation Logic - Berdine, Calcagno, O'Hearn (2004) (3 citations) Self-citation (O'hearn) (Correct)
No context found.
O'Hearn, P.W., Yang, H., Reynolds, J.C.: Separation and information hiding. In: POPL, Venice (2004) 268--280
Resources, Concurrency and Local Reasoning - O'Hearn Self-citation (O'hearn) (Correct)
No context found.
P. W. O'Hearn, H. Yang, and J. C. Reynolds. Separation and information hiding. In 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 268--280, Venice, January 2004.
A Decidable Fragment of Separation Logic - Berdine, Calcagno, O'Hearn (2004) (3 citations) Self-citation (O'hearn) (Correct)
No context found.
O'Hearn, P.W., Yang, H., Reynolds, J.C.: Separation and information hiding. In: 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Lang uages, Venice (2004) 268--280 13 A Appendix: Selected Proofs A.1 Full Separation Logic The full semantics of the separation logic connectives used in the metatheory extends
When Separation Logic met Java (Work in progress) - Matthew Parkinson University (Correct)
No context found.
P.W. O'Hearn, H.Yang, and J.C. Reynolds. Separation and information hiding. In Proceedings of POPL, 2004.
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
No context found.
P. W. O'Hearn, H. Yang, and J. C. Reynolds. Separation and information hiding. In Principles of Programming Languages, 2004.
Verification of Safety Properties for Concurrent Assembly Code - Dachuan Yu And (2004) (Correct)
No context found.
P. W. O'Hearn, H. Yang, and J. C. Reynolds. Separation and information hiding. In Proc. 29th ACM Symp. on Principles of Prog. Lang., pages 268--280, Venice, Italy, Jan. 2004. ACM Press.
Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
No context found.
P.W. O'Hearn, H. Yang, and J.C. Reynolds. Separation and information hiding. In: POPL, pp. 268--280. ACM Press, 2004.
Compositional Reasoning for Pointer Structures - Chen, Sanders (Correct)
No context found.
P. W. O'Hearn, J. Reynolds, and H. Yang. Separation and information hiding. In POPL'04, volume 2142, pages 268--280. ACM, 2004.
Separation Logic and Abstraction - Parkinson, Bierman (2005) (2 citations) (Correct)
No context found.
P.W. O'Hearn, H.Yang, and J.C. Reynolds. Separation and information hiding. In Proceedings of POPL, 2004.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
P. O'Hearn, H. Yang, and J. Reynolds. Separation and information hiding. In POPL, pages 268--280, 2004.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
P. O'Hearn, H. Yang, and J. Reynolds. Separation and information hiding. In POPL, pages 268--280, 2004.
Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
No context found.
P.W. O'Hearn, H. Yang, and J.C. Reynolds. Separation and information hiding. In: POPL, pp. 268--280. ACM Press, 2004. D. Distefano, J.-P. Katoen, and A. Rensink
Selective Open Recursion: A Solution to the Fragile Base Class.. - Aldrich (Correct)
No context found.
P. W. O'Hearn, H. Yang, and J. C. Reynolds. Separation and Information Hiding. In Principles of Programming 11 Languages, January 2004.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Peter O'Hearn, Hongseok Yang, and John C. Reynolds. Separation and information hiding. In Proc. POPL'04, 2004.
From Process Logic to Program Logic - Honda (2004) (Correct)
No context found.
O'Hearn, P., Yang, H. and Reynolds, J., Separation and Information Hiding, POPL'04, 268--280, 2004.
A Semantics for Concurrent Separation Logic - Brookes (2004) (6 citations) (Correct)
No context found.
P.W. O'Hearn, H. Yang, and J.C. Reynolds. Separation and Information Hiding. st POPL conference, pp 268-280, Venice. ACM Press, January 2004.
Ownership Transfer and Abstraction - Banerjee, Naumann (2003) (Correct)
No context found.
Peter O'Hearn, Hongseok Yang, and John C. Reynolds. Separation and information hiding. In ACM Symposium on Principles of Programming Languages (POPL), 2004.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) (Correct)
No context found.
Peter O'Hearn, Hongseok Yang, and John Reynolds. Separation and information hiding. In ACM Symposium on Principles of Programming Languages (POPL), pages 268--280, 2004.
Selective Open Recursion: A Solution to the Fragile Base Class.. - Aldrich (Correct)
No context found.
P. W. O'Hearn, H. Yang, and J. C. Reynolds. Separation and Information Hiding. In Principles of Programming 11 Languages, January 2004.
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
No context found.
O'Hearn, P., Yang, H. and Reynolds, J., Separation and Information Hiding, POPL'04, 268-280, 2004.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) (Correct)
No context found.
Peter O'Hearn, Hongseok Yang, and John Reynolds. Separation and information hiding. In ACM Symposium on Principles of Programming Languages (POPL), pages 268--280, 2004.
A Compositional Logic for Polymorphic Higher-Order Functions - Honda, Yoshida (2004) (Correct)
No context found.
O'Hearn, P., Yang, H. and Reynolds, J., Separation and Information Hiding, POPL'04, 268--280, 2004.
First 50 documents
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