315 search results - page 1 / 63 » Reasoning about Assignments in Recursive Data Structures |
SBMF
2010
Springer
12 years 11 months ago
2010
Springer
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
ARTMED
2006
13 years 4 months ago
2006
Objective. In this article, we propose new methods to visualize and reason about spatiotemporal epidemiological data. Background. Efficient computerized reasoning about epidemics ...
CEFP
2009
Springer
13 years 2 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
CSL
2001
Springer
13 years 9 months ago
2001
Springer