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 SchwinghammerNo description supplied
History
Publication status
- Published
Journal
Mathematical Structures in Computer ScienceISSN
1469-8072External DOI
Issue
2Volume
16Page range
:313-358Pages
46.0Department 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 logicsFull text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC