University of Sussex
Browse

File(s) not publicly available

Denotational semantics for a program logic of objects

journal contribution
posted on 2023-06-08, 07:23 authored by Bernhard ReusBernhard Reus, Jan Schwinghammer
No description supplied

History

Publication status

  • Published

Journal

Mathematical Structures in Computer Science

ISSN

1469-8072

Issue

2

Volume

16

Page range

:313-358

Pages

46.0

Department affiliated with

  • Informatics Publications

Notes

Originality: presents a new way to obtain the soundness result of a given program logic for objects (by Abadi and Leino); this also allows the analysis of the strengths and weaknesses of the logic. Rigour: detailed mathematical model and full proof using denotational semantics Impact: cited as only serious attempt to understand logic for higher-order store denotationally, also acknowledged & cited by Abadi and Leino Significance: potential blueprint for correctness proofs of similar logics

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC