Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Reasoning about High-Level Tree Update and its Low-Level Implementation - Philippa Gardner
[go: Go Back, main page]

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

Source Materials