315 search results - page 28 / 63 » Reasoning about Assignments in Recursive Data Structures |
127
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
224
Voted
ICDT
2009
ACM
16 years 4 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
133
click to vote
ENTCS
2008
15 years 3 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
119
click to vote
DBPL
2003
Springer
15 years 9 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
139
click to vote
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents an experimental study on the emulation of software faults by fault injection. In a first experiment, a set of real software faults has been compared with fault...