Filters








859,900 Hits in 5.3 sec

Local Reasoning about Data Update

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
2007 Electronical Notes in Theoretical Computer Science  
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.  ...  We present local Hoare reasoning about data update, using Context Logic (CL) for reasoning directly about structured data.  ... 
doi:10.1016/j.entcs.2007.02.006 fatcat:b72an7f4irb7vogq35zjs24zni

A Two-Tiered Approach for Decentralized Reasoning in Ambient Intelligence

Jose Viterbo, Markus Endler
2010 IEEE Intelligent Systems  
This article proposes a two-tiered model for decentralized reasoning in which  ...  last update sent by the local reasoner.  ...  Before the noti cation from the remote reasoner arrives at the local reasoner, however, there might have been a context data change at the local reasoner that caused a new update to be sent to the remote  ... 
doi:10.1109/mis.2010.29 fatcat:u7ilz4igcraixjkgcj5zwecrfi

Context logic and tree update

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
2005 SIGPLAN notices  
Instead we must explicitly reason about arbitrary tree contexts in order to capture updates throughout the tree.  ...  We use it to reason locally about a small imperative programming language for updating trees, using a Hoare logic in the style of O'Hearn, Reynolds and Yang, and show that weakest preconditions are derivable  ...  INTRODUCTION We study Hoare logics for reasoning about data update.  ... 
doi:10.1145/1047659.1040328 fatcat:7r62lkyusfdk3fxl7sxh4bje6y

Context logic and tree update

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
2005 Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05  
Instead we must explicitly reason about arbitrary tree contexts in order to capture updates throughout the tree.  ...  We use it to reason locally about a small imperative programming language for updating trees, using a Hoare logic in the style of O'Hearn, Reynolds and Yang, and show that weakest preconditions are derivable  ...  INTRODUCTION We study Hoare logics for reasoning about data update.  ... 
doi:10.1145/1040305.1040328 dblp:conf/popl/CalcagnoGZ05 fatcat:nhs4vrn2argjxnbe3gq5anh2bi

Resolving semantic heterogeneity through the explicit representation of data model semantics

Susan D. Urban, Jian Wu
1991 SIGMOD record  
An explicit representation also supports the ability to reason about the realization of updates on local data.  ...  Because of the explicit representation of the structural semantics of each local database, rules can also be defined to reason about meta data for query translation and view update propagation.  ... 
doi:10.1145/141356.141381 fatcat:rppeziazuvdqdhomgrj5orabyi

Local Reasoning About Tree Update

Uri Zarfaty, Philippa Gardner
2006 Electronical Notes in Theoretical Computer Science  
Separation Logic and Context Logic have been used to reason locally about heap update and simple tree update.  ...  We study local reasoning based on Context Logic for a more realistic, local tree-update language which combines update commands with queries.  ...  We present a Hoare Logic for reasoning locally about our tree-update language.  ... 
doi:10.1016/j.entcs.2006.04.020 fatcat:l4a4b2wyljfthfkjbzaiqrtjiu

Report on the EDBT/ICDT 2010 workshop on updates in XML

Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller
2010 SIGMOD record  
with about 40 attending the last session.  ...  The first international workshop on Updates in XML [1] was held in conjunction with the EDBT/ICDT conference in Lausanne (Switzerland) on March 22, 2010, and attracted approximately 25 participants, culminating  ...  In this work, the range of local resource reasoning is substantially extended, introducing Context Logic to reason about programs that directly manipulate complex data structures such as XML.  ... 
doi:10.1145/1860702.1860713 fatcat:t4esorolvvdajawik7lkygcnmu

Reasoning about the POSIX file system: local update and global pathnames

Gian Ntzik, Philippa Gardner
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
We introduce fusion logic for reasoning about local update and global pathname traversal, introducing a novel effect frame rule to propagate the effect of a local update on overlapping pathnames.  ...  The challenge is to reason about the combination of local directory update and global pathname traversal (including '..' and symbolic links) which may overlap the directories being updated.  ...  No new data was collected in the course of this research.  ... 
doi:10.1145/2814270.2814306 dblp:conf/oopsla/NtzikG15 fatcat:e2r7f5rkojgivhvilqwww45qom

Reasoning about the POSIX file system: local update and global pathnames

Gian Ntzik, Philippa Gardner
2015 SIGPLAN notices  
We introduce fusion logic for reasoning about local update and global pathname traversal, introducing a novel effect frame rule to propagate the effect of a local update on overlapping pathnames.  ...  The challenge is to reason about the combination of local directory update and global pathname traversal (including '..' and symbolic links) which may overlap the directories being updated.  ...  No new data was collected in the course of this research.  ... 
doi:10.1145/2858965.2814306 fatcat:ehyrtthpgvgkzo4axmvfipn3n4

Decentralized Reasoning in Ambient Intelligence

Jose Viterbo, Markus Endler
2009 2009 33rd Annual IEEE Software Engineering Workshop  
This work proposes a middleware service for performing decentralized rule-based reasoning about context data targeting AmI systems in which we assume that there are two main interacting parties in the  ...  As in such systems usually not all context data is readily available to all reasoners within a system, these reasoning operations may need to evaluate context data collected from distributed sources and  ...  Stability of Context Data To prevent the local reasoner from sending a result that is inaccurate to the client application, each time a new update is generated by the local reasoner, it receives an update  ... 
doi:10.1109/sew.2009.18 dblp:conf/sew/FilhoE09 fatcat:733gkjpjrjaabpactey4kytbue

Towards a General Framework for Formal Reasoning about Java Bytecode Transformation

Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
2013 Electronic Proceedings in Theoretical Computer Science  
reason about behavioral aspects in bytecode transformation  ...  Because these transformations may introduce errors, our goal is to provide a formal way to verify the update and establish its correctness.  ...  An approach for reasoning about transformations In this section, we present an approach to reason about behavioral aspects of transformations on bytecode.  ... 
doi:10.4204/eptcs.122.6 fatcat:n3hb7taroncllogfi35mpc5leu

Event-Driven Rule-Based Reasoning using EYE

Ben De Meester, Dörthe Arndt, Pieter Bonte, Jabran Bhatti, Wim Dereuddre, Ruben Verborgh, Femke Ongenae, Filip De Turck, Erik Mannens, Rik Van de Walle
2015 International Semantic Web Conference  
We achieve reasonable performance in small-scale environments when evaluating this system using N3 rules and the EYE reasoner.  ...  Ontologies and reasoning algorithms are considered a promising approach to create decision making applications.  ...  Updating data by reasoning over updating rules is much slower than updating data programmatically, but allows for better (and in this case, necessary) configurability.  ... 
dblp:conf/semweb/MeesterABBDVOTM15 fatcat:3flwavmr3bh5jbqz7mygrfahla

Small Specifications for Tree Update [chapter]

Philippa Gardner, Mark Wheelhouse
2010 Lecture Notes in Computer Science  
O'Hearn, Reynolds and Yang introduced local Hoare reasoning about mutable data structures using Separation Logic.  ...  Gardner et al. generalised their work, using Context Logic to reason about structured data at the same level of abstraction as the data itself.  ...  The key point about Context Logic is that it reasons about structured data at the same level of abstraction as the data itself.  ... 
doi:10.1007/978-3-642-14458-5_11 fatcat:kxtg63tjknh7rlklq3yp6q24za

SHERLOCK: Semantic management of Location-Based Services in wireless environments

Roberto Yus, Eduardo Mena, Sergio Ilarri, Arantza Illarramendi
2014 Pervasive and Mobile Computing  
However, currently it is a challenge to provide a common framework that allows to manage knowledge obtained from data sent by heterogeneous moving objects (textual data, multimedia data, sensor data, etc  ...  ., but most of those applications are designed for specific scenarios and goals with implicit knowledge about the application context.  ...  The OM uses a DL reasoner to manage the local ontology of the device.  ... 
doi:10.1016/j.pmcj.2013.07.018 fatcat:ajhfx3npmvbttbfe5udjm5p6m4

Invariants, Modularity, and Rights [chapter]

Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michał Moskal, Steven Obua, Wolfgang Paul, Hristo Pentchev (+9 others)
2010 Lecture Notes in Computer Science  
The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access the state.  ...  We argue that these rights are really just sugar for knowledge that certain updates preserve certain invariants.  ...  Only volatile data is update in explicit atomic actions; nonvolatile updates are treated using ordinary sequential reasoning.  ... 
doi:10.1007/978-3-642-11486-1_4 fatcat:isrwtfeokvd4fbvssbiuivj3yq
« Previous Showing results 1 — 15 out of 859,900 results