Refinement and separation contexts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3328, Issue , 2004, Pages 421-433

  Mijajlović, Ivana ^a   Torp Smith, Noah ^b   O'Hearn, Peter ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

^b IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT PROGRAMS; SIMULATION THEOREM;

ARTIFICIAL INTELLIGENCE; SEPARATION;

SOFTWARE ENGINEERING;

EID: 33646727543     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30538-5_35     Document Type: Article

References (15)

1. Hogg, J.: Islands: Aliasing Protection In Object-Oriented Languages. OOPSLA'91
2. Hogg, J., Lea, D., Wills, A., deChampeaux, D., Holt, R.: The Geneva Convention On The Treatment of Object Aliasing. OOPS Messenger (1992)
3. Banerjee, A., Naumann, D. A.: Representation Independence, Confinement and Access Control [extended abstract]. 29th POPL. (2002)
4. Reddy, U. S., Yang, H.: Correctness of Data Representations involving Heap Data Structures. Proceedings of ESOP .Springer Verlag (2003) 223-237
5. Hoare, C. A. R.: Proof of Correctness of Data Representations. Acta Information. Vol. 1. (1972) 271-281
6. He, J., Hoare, C. A. R., Sanders, J. W.: Data Refinement Refined (Resume). Proceedings of ESOP. LNCS. Vol. 213. Springer Verlag (1986) 187-196
7. Clarke, D. G., Noble, J., Potter, J. M.: Simple Ownership Types for Object Containment. Proceedings of ECOOP. (2001)
8. Boyapati, C., Liskov, B., Shrira, L.: Ownership Types for Object Encapsulation. 30th POPL. (2003)
9. Reynolds, J. C.: Separation Logic: A Logic for Shared Mutable Data Structures. Proceedings of 17th LICS. (2002) 55-74
10. D. Pym, P. O'Hearn, H. Yang.: Possible Worlds and Resources: The Semantics of BI. Theoretical Computer Science 313(1) (2004) 257-305
11. Ishtiaq, S., O'Hearn, P. W.: BI as an Assertion Language for Mutable Data Structures. 28th POPL (2001) 14-26
12. O'Hearn, P., Yang, H., Reynolds, J. C.: Separation and information hiding. 31st POPL. (2004) 268-280
13. H. Yang, P. O'Hearn.: A semantic basis for local reasoning. In Proceedings of FOSSACS'02 (2002) 402-416
14. J. Schwarz.: Generic Commands - A Tool for Partial Correctness Formalisms. Comput. J. 20(2) (1977) 151-155
15. Yang, H.: Relational Separation Logic. Theoretical Computer Science (to appear)