A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Filters
Local Reasoning about Data Update
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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
2010
IEEE Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages - POPL '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1991
SIGMOD record
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2010
SIGMOD record
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2015
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 33rd Annual IEEE Software Engineering Workshop
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2013 pre-print arXiv:1307.8212v1 fatcat:aqkcqos2hvdwvk7wugxrfov7wy
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
2015
International Semantic Web Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2014
Pervasive and Mobile Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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