89 search results - page 4 / 18 » Abstract Interpretation Based Static Analysis Parameterized ... |
WISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper describes MEAT (Memory of Experiments for the Analysis of Transcriptomes), a project aiming at supporting biologists working on DNA microarrays. We provide met...
CC
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
ENTCS
2006
13 years 7 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...