Modular semantics and logics of classes

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

Volumn 2803, Issue , 2003, Pages 456-469

  Reus, Bernhard ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

RECONFIGURABLE HARDWARE; SEMANTICS;

CLASS-BASED LANGUAGES; FIELD VALUES; HIGHER-ORDER; MODULAR REASONING; MODULAR SEMANTICS; OBJECT STORE; PROGRAMMING LOGIC; REASONING PRINCIPLES;

COMPUTER CIRCUITS;

EID: 21144434764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45220-1_37     Document Type: Article

References (14)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996.
2. M. Abadi and K.R.M. Leino. A logic of object-oriented programs. In Michel Bidoit and Max Dauchet, editors, Theory and Practice of Software Development: Proceedings / TAPSOFT '97, 7th International Joint Conference CAAP/FASE, volume 1214 of Lecture Notes in Computer Science, pages 682-696. Springer-Verlag, 1997.
3. P. America and F.S. de Boer. A proof theory for a sequential version of POOL. Technical Report http://www.cs.uu.nl/people/frankb/Available-papers/spool.dvi, University of Utrecht, 1999.
4. Anindya Banerjee and David Naumann. Representation independence, confinement, and access control. In Proceedings of ACM Principles of Programming Languages POPL, volume 164, pages 166-177. ACM press, 2002.
5. Cristiano Calcagno and Peter W. O'Hearn. On garbage and program logic. In FoSSaCS, volume 2030 of LNCS, pages 137-151, Berlin, 2001. Springer.
6. F.S. de Boer. A WP-calculus for OO. In W. Thomas, editor, Foundations of Software Science and Computations Structures, volume 1578 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
7. Andreas V. Hense. Wrapper semantics of an object-oriented programming language with state. In Proceedings Theoretical Aspects of Computer Software, volume 526 of Lecture Notes in Computer Science, pages 548-568. Springer-Verlag, 1991.
8. S.N. Kamin and U.S. Reddy. Two semantic models of object-oriented languages. In Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, pages 464-495. The MIT Press, 1994.
9. Peter W. O'Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In CSL, volume 2142 of LNCS, pages 1-19, Berlin, 2001. Springer.
10. L.C. Paulson. Logic and Computation, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.
11. A. Poetzsch-Heffter and P. Müller. Logical foundations for typed object-oriented languages. In D. Gries and W. De Roever, editors, Programming Concepts and Methods, 1998.
12. B. Reus. Class based vs. object based: A denotational comparison. In Algebraic Methodology And Software Technology, volume 2422 of Lecture Notes in Computer Science, pages 473-488, Berlin, 2002. Springer Verlag.
13. B. Reus and Th. Streicher. Semantics and logics of objects. In Proceedings of the 17th Symp. Logic in Computer Science, pages 113-122, 2002.
14. B. Reus, M. Wirsing, and R. Hennicker. A Hoare-Calculus for Verifying Java Realizations of OCL-Constrained Design Models. In FASE 2001, volume 2029 of Lecture Notes in Computer Science, pages 300-317, Berlin, 2001. Springer.