14 search results - page 1 / 3 » A Coinduction Rule for Entailment of Recursively Defined Pro... |
CP
2008
Springer
13 years 6 months ago
2008
Springer
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. ...
JUCS
2006
13 years 4 months ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
SAS
1993
Springer
13 years 9 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...