Separation Logic for Higher-Order Store

Reus, Bernhard and Schwinghammer, Jan (2006) Separation Logic for Higher-Order Store. In: Computer Science Logic 2006, Szeged, Hungary.

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Additional Information: Originality: good application of Domain Theory to show useful how Separation Logic can be extended to languages with code pointers Rigour: full domain theoretic model with mathematical proofs Significance: potentially huge as benefits of Spearation Logic made available for more types of languages Outlet/Citations: CSL is an international conferenence organized by the European Association for CompSci Logic and hhad an acceptance rate 0f 34% this year. New paper no citations in google.. COMMENT: Journal Version in preparation.
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Bernhard Reus
Date Deposited: 06 Feb 2012 19:28
Last Modified: 06 Feb 2012 21:42
URI: http://sro.sussex.ac.uk/id/eprint/20757
📧 Request an update