3573 search results - page 11 / 715 » Reasoning about Codata |
VL
2006
IEEE
14 years 3 months ago
2006
IEEE
Although researchers have developed several ways to reason about the location of faults in spreadsheets, no single form of reasoning is without limitations. Multiple types of erro...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
AI
2008
Springer
13 years 10 months ago
2008
Springer
Traditional approaches to temporal reasoning assume that time periods and time spans of events can be accurately represented as intervals. Real
ATAL
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
VL
2002
IEEE
14 years 2 months ago
2002
IEEE
To help improve the reliability of spreadsheets created by end users, we are working to allow users to communicate the purpose and other underlying information about their spreads...