Class-based versus object-based: A denotational comparison

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

Volumn 2422, Issue , 2002, Pages 473-488

  Reus, Bernhard ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MACHINERY; SEMANTICS;

CLASS-BASED; CLASS-BASED LANGUAGES; DENOTATIONAL SEMANTICS; INDIVIDUAL OBJECTS; OBJECT BASED; OBJECT-BASED LANGUAGES; RECURSIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 23044534276     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45719-4_32     Document Type: Conference Paper

References (21)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996. 473, 474, 476
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. 473, 480, 484, 485, 486
3. J. Alves-Foss, editor. Formal Syntax and Semantics of Java, volume 1523 of Lect. Notes Comp. Sci. Springer, Berlin, 1999. 487
4. 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/Availablepapers/spool.dvi, University of Utrecht, 1999. 473
5. K. B. Bruce, L. Cardelli, and B. C. Pierce. Comparing object encodings. In Theoretical Aspects of Computer Software (TACS’97), Sendai, Japan, volume 1281, pages 415–438. Springer LNCS, September 1997. 474, 485
6. C. Calcagno, S. Ishtiaq, and P. W. O’Hearn. Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic. In Principles and Practice of Declarative Programming. ACM Press, 2000. 486
7. C. Calcagno and P. W. O’Hearn. A logic for objects. Talk given in March 2001, 2001. 486
8. 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. 473, 480
9. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java. A minimal core calculus for Java and GJ. In Object Oriented Programming: Systems, Languages and Applications (OOPSLA), volume 34, pages 132–146. ACM SIGPLAN Notices, 1999. 475
10. B. Jacobs and E. Poll. A monad for basic java semantics. In T. Rus, editor, Algebraic Methodology and Software Technology (AMAST’00), volume 1816 of LNCS, pages 150–164. Springer Verlag, 2000. 473, 486
11. 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. 473
12. T. Nipkow and D. von Oheimb. Machine-checking the Java Specification: Proving Type-Saftey. In Alves-Foss [3]. 475
13. L. C. Paulson. Logic and Computation, volume 2 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987. 474, 480
14. A. M. Pitts. Relational properties of domains. Information and Computation, 127: 66–90, 1996. (A preliminary version of this work appeared as Cambridge Univ. Computer Laboratory Tech. Rept. No. 321, December 1993.). 474, 484
15. 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. 473, 480
16. U. Reddy. Objects and classes in Algol-like languages. In FOOL 5, 1998. Available at URL http://pauillac.inria.fr/∼remy/fool/proceedings.html. 473
17. B. Reus. A logic of recursive objects. In Formal Techniques for Java Programs, volume 251-5/1999 of Informatik Berichte, pages 58–64. FernUniversität Hagen, 1999. 474
18. B. Reus. A logic of recursive objects (abstract). In S. Demeyer A. Moreira, editor, Object-oriented Technology, ECOOP ’99 Workshop Reader, volume 1743 of Lecture Notes in Computer Science, page 107, Berlin, 1999. Springer. 474
19. B. Reus and Th. Streicher. Semantics and logics of objects. In Proceedings of the 17th Symp. Logic in Computer Science, 2002. To appear. Draft available from www.cogs.susx.ac.uk/users/bernhard/papers.html. 474, 484
20. 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. 473, 480, 482, 486
21. D. von Oheimb. Hoare logic for mutual recursion and local variables. In V. Raman C. Pandu Rangan and R. Ramanujam, editors, Found. of Software Techn. and Theoret. Comp. Sci., volume 1738 of LNCS, pages 168–180. Springer, 1999. 482