1206 search results - page 31 / 242 » Concurrent Abstract Predicates |
116
Voted
CAV
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
100
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
121
click to vote
DEXA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper proposes a natural extension of conditional functional dependencies (cfds [14]) and conditional inclusion dependencies (cinds [8]), denoted by cfdp s and cindp...
106
click to vote
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
121
Voted
COMPGEOM
1997
ACM
15 years 4 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...