Denotational semantics for a program logic of objects

Reus, Bernhard and Schwinghammer, Jan (2006) Denotational semantics for a program logic of objects. Mathematical Structures in Computer Science, 16 (2). :313-358. ISSN 1469-8072

Full text not available from this repository.
Item Type: Article
Additional Information: 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
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Bernhard Reus
Date Deposited: 06 Feb 2012 20:41
Last Modified: 27 Mar 2012 15:33
URI: http://sro.sussex.ac.uk/id/eprint/27520
📧 Request an update