1189 search results - page 102 / 238 » The Quotient of an Abstract Interpretation |
169
click to vote
CALCO
2011
Springer
14 years 21 days 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...
115
Voted
SIGCSE
2009
ACM
16 years 1 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
ICSE
2004
IEEE-ACM
16 years 24 days ago
2004
IEEE-ACM
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...
117
Voted
SARA
2009
Springer
15 years 7 months ago
2009
Springer
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
84
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...