Reasoning about High-Level Tree Update and its Low-Level Implementation
Venue
Publication Year
2008
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.