3573 search results - page 345 / 715 » Reasoning about Codata |
182
click to vote
CONCUR
2004
Springer
16 years 3 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
167
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
163
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
172
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
162
click to vote
ERCIMDL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...