Dear Spiral User, There is still no access to Master’s dissertations until further notice. We apologise for any inconvenience this may cause. Please contact your subject librarian for further assistance. Kind Regards, Spiral Team.
 
Reasoning about High-Level Tree Update and its Low-Level Implementation
File(s)
Gardner2009Reasoning.techreport.pdf (477.6 KB)
Supporting information
Author(s)
Gardner, Philippa
Zarfaty, Uri
Type
Working Paper
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
2009
URI