Semantics and logic of object calculi

Reus, B. and Streicher, T. (2002) Semantics and logic of object calculi. In: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science. IEEE Publications, pp. 113-122.

[img] Postscript
Restricted to SRO admin only

Download (249kB)

Abstract

The main contribution of this paper is a formal characterization of recursive object specifications based on a denotational untyped semantics of the object calculus and the discussion of existence of those (recursive) specifications. The semantics is then applied to prove soundness of a programming logic for the object calculus and to suggest possible extensions. For the purposes of this discussion we use an informal logic of predomains in order to avoid any commitment to a particular syntax of specification logic.

Item Type: Book Section
Additional Information: Publisher's version available at official url
Schools and Departments: School of Engineering and Informatics > Informatics
Subjects: Q Science > QA Mathematics > QA0075 Electronic computers. Computer science
Depositing User: Chris Keene
Date Deposited: 27 Jul 2007
Last Modified: 30 Nov 2012 16:51
URI: http://sro.sussex.ac.uk/id/eprint/1422
Google Scholar:20 Citations

View download statistics for this item

📧 Request an update