File(s) under permanent embargo
Semantics and logic of object calculi
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.
History
Publication status
- Published
Publisher
IEEE PublicationsExternal DOI
Issue
1043-6Page range
113-122Pages
461.0Book title
Proceedings of the 17th Annual IEEE Symposium on Logic in Computer ScienceDepartment affiliated with
- Informatics Publications
Notes
Publisher's version available at official urlFull text available
- No
Peer reviewed?
- Yes