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:	06 Jun 2019 09:08
URI:	http://sro.sussex.ac.uk/id/eprint/27520

📧 Request an update