Add to ORKGWe relate Context Logic reasoning about a high-level tree update language with Separation Logic reasoning about a low-level implementation
We study refinement in the setting of local reasoning. In particular, we explore general translation...
We describe an extension of Hoare’s logic for reasoning about programs that alter data structures. W...
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and ...
We relate Context Logic reasoning about a high-level tree update language with Separation Logic reas...
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a...
Abstract. O’Hearn, Reynolds and Yang introduced local Hoare reason-ing about mutable data structures...
Abstract. O’Hearn, Reynolds and Yang introduced local Hoare reason-ing about mutable data structures...
Separation Logic and Context Logic have been used to reason locally about heap update and simple tre...
AbstractSeparation Logic and Context Logic have been used to reason locally about heap update and si...
AbstractWe present local Hoare reasoning about data update, introducing Context Logic for analysing ...
O’Hearn, Reynolds and Yang introduced local Hoare reasoning about mutable data structures using sepa...
Separation logic is often praised for its ability to closely mimic the locality of state updates whe...
Spatial Logics are used to reason about data structures and hierarchical net-work structures. Automa...
This thesis presents structural separation logic, a novel program reasoning approach for software th...
We study re nement in the setting of local reasoning. In particular, we explore general translations...
We study refinement in the setting of local reasoning. In particular, we explore general translation...
We describe an extension of Hoare’s logic for reasoning about programs that alter data structures. W...
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and ...
We relate Context Logic reasoning about a high-level tree update language with Separation Logic reas...
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a...
Abstract. O’Hearn, Reynolds and Yang introduced local Hoare reason-ing about mutable data structures...
Abstract. O’Hearn, Reynolds and Yang introduced local Hoare reason-ing about mutable data structures...
Separation Logic and Context Logic have been used to reason locally about heap update and simple tre...
AbstractSeparation Logic and Context Logic have been used to reason locally about heap update and si...
AbstractWe present local Hoare reasoning about data update, introducing Context Logic for analysing ...
O’Hearn, Reynolds and Yang introduced local Hoare reasoning about mutable data structures using sepa...
Separation logic is often praised for its ability to closely mimic the locality of state updates whe...
Spatial Logics are used to reason about data structures and hierarchical net-work structures. Automa...
This thesis presents structural separation logic, a novel program reasoning approach for software th...
We study re nement in the setting of local reasoning. In particular, we explore general translations...
We study refinement in the setting of local reasoning. In particular, we explore general translation...
We describe an extension of Hoare’s logic for reasoning about programs that alter data structures. W...
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and ...