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.
Restricted to SRO admin only
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|
|Google Scholar:||20 Citations|