Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Reasoning about high-level tree update and its low-level implementation
File(s)
DTR09-9.pdf (470.58 KB)
Published version
Author(s)
Gardner, Philippa
Zarfaty, Uri
Type
Report
Abstract
We relate Context Logic reasoning about a high-level
tree update language with Separation Logic reasoning
about a low-level implementation.
Date Issued
2009-01-01
Citation
Departmental Technical Report: 09/9, 2009, pp.1-33
URI
DOI
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
33
Journal / Book Title
Departmental Technical Report: 09/9
Copyright Statement
© 2009 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
License URL
Publication Status
Published
Article Number
09/9