1724 search results - page 90 / 345 » Abstract Interpreters for Free |
213
click to vote
CALCO
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of thi...
142
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
144
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
260
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
157
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...