Output details
11 - Computer Science and Informatics
University of Sussex
Article title
Nested Hoare Triples and Frame Rules for Higher-order Store
Type
D - Journal article
Title of journal
Logical Methods in Computer Science
Article number
-
Volume number
7
Issue number
3
First page of article
1
ISSN of journal
1860-5974
Year of publication
2011
Number of additional authors
3
Additional information
<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).
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Foundations of Software Systems
Citation count
7
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
