Output details
11 - Computer Science and Informatics
Heriot-Watt University
Output title
Mutation in linked data structures
Type
E - Conference contribution
Name of conference/published proceedings
Proceedings of the 13th International Conference on Formal Engineering Methods, (ICFEM) 2011
Volume number
-
Issue number
-
First page of article
275
ISSN of proceedings
-
Year of publication
2011
URL
-
Number of additional authors
1
Additional information
<11>Separation Logic represents what is often regarded as the most significant development in Hoare style programming logics for decades, and this paper extends existing work to support full functional correctness of pointer programs within Separation Logic. The ideas reported in this paper gave rise to a follow-on project funded by an EPSRC Platform Grant (EP/J001058), the aim of which was to explore the use of Separation Logic to underpin the animation of pointer programmes.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Rigorous Systems
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-