1206 search results - page 38 / 242 » Concurrent Abstract Predicates |
87
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
110
Voted
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
97
Voted
ICDE
2000
IEEE
15 years 4 months ago
2000
IEEE
Commercial databases support different isolation levels to allow programmers to trade off consistency for a potential gain in performance. The isolation levels are defined in the ...
106
Voted
CADE
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
121
Voted
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...