Output details
11 - Computer Science and Informatics
University of Sussex
Nested Hoare Triples and Frame Rules for Higher-order Store
<10>This is the extended version of J. Schwinghammer, L. Birkedal, B. Reus, H. Yang: Nested Hoare Triples and Frame Rules for Higher-Order Store, CSL 09. Springer LNCS 5771, pp.440-454, 2009. Logical Methods in Computer Science is the leading open access international journal in theoretical computer science. This work is an international collaboration with ITU Copenhagen, Saarbruecken, and Oxford. It has introduced a standard of separation logic proof rules for higher-order store since used by quite a number of other researchers (including ourselves in Proc. 13th Int. Conference on Verification, Model Checking, and Abstract Interpretation, LNCS 7148, Springer, pp. 136-151).