1422 search results - page 125 / 285 » Complementation in Abstract Interpretation |
162
click to vote
IFM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
206
click to vote
CALCO
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
157
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
119
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
130
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
"Generics for the Masses" (GM) and "Scrap your Boilerplate" (SYB) are generic programming approaches based on some ingenious applications of Haskell type class...