Local Reasoning about Data Update

13 years 10 months ago

Download www.doc.ic.ac.uk

We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to local Hoare reasoning using Separation Logic, and term rewriting.

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Real-time Traffic

Context Logic | ENTCS 2007 | Local Hoare Reasoning | Update |

claim paper

» Local Hoare reasoning about DOM

» Local Reasoning about Programs that Alter Data Structures

» Local ClosedWorld Assumptions for reasoning about Semantic Web data

» Reasoning about local properties in modal logic

» Regional Logic for Local Reasoning about Global Invariants

» Reasoning About DataParallel Pointer Programs in a Modal Extension of Separation Logic

» Formal Reasoning about Emergent Behaviours of MultiAgent Systems

» Machine reasoning about anomalous sensor data

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Comments (0)

Sciweavers

Local Reasoning about Data Update

Context Logic | ENTCS 2007 | Local Hoare Reasoning | Update |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers