1026 search results - page 87 / 206 » A Methodology for Equational Reasoning |
153
click to vote
LICS
2009
IEEE
16 years 29 days ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
157
click to vote
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
— We consider the problem of designing optimal distributed controllers whose impulse response has limited propagation speed. We introduce a state-space framework in which such co...
158
click to vote
LICS
2008
IEEE
16 years 21 days ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
157
click to vote
LICS
2008
IEEE
16 years 21 days ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...
186
click to vote
TLCA
2007
Springer
16 years 12 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...