University of Sussex
Browse

File(s) under permanent embargo

Semantics and logic of object calculi

chapter
posted on 2023-06-07, 14:13 authored by Bernhard ReusBernhard Reus, T. Streicher
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 Publications

Issue

1043-6

Page range

113-122

Pages

461.0

Book title

Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science

Department affiliated with

  • Informatics Publications

Notes

Publisher's version available at official url

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2007-07-27

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC