… local Hoare reasoning about data update, introducing Context Logic for analysing structured
data. … We present local Hoare reasoning about data update, introducing Context Logic (CL) …

… reasoning about programs that alter data structures. We consider a low-level storage model
based on a heap with associated lookup, update, … the formalism supports local reasoning: A …

… based on AbU nodes local reasoning to enforce AbU global … By exploiting attribute-based
memory updates, such a system… of local invariants, the enforced-by-design local invariants of …

… language of update programs that integrates logical queries, bulk updates and hypothetical
… supports nonmonotonic negation, bulk updates and hypothetical reasoning. We describe the …

… also argue that our previous local reasoning work does not extend … local reasoning and
introduce new techniques to account for the sharing of pathnames which overlap the local update…

… locally by a producer or on the master document by the executor). The producer relies on
these identifiers for its local reasoning (… in this space, or local identifiers assigned by producers …

… could be performed locally. However, the limited OWL2-EL reasoner embedded in our
HyLAR framework was only designed to perform these two tasks and data update was not taken …

… used to reason locally about heap update and simple tree update. We study local reasoning
… a more realistic, local tree-update language which combines update commands with queries…

… and data throughput. To address this problem, we present a method to efficiently update …
Logical foundations of continuous query languages for data streams. In Datalog, pages 177…

… Diagnostic reasoning … reasoning differentiates diagnoses only if the required actions are
different. A set of network-topology updating algorithms are proposed for dynamically updating …