Reasoning about High-Level Tree Update and its Low-Level Implementation
Authors
- Philippa Gardner
- Uri Zarfaty
Abstract
We relate Context Logic reasoning about a high-level tree update language with Separation Logic reasoning about a low-level implementation.
Venue
Publication Date
2008