182 search results - page 4 / 37 » Static Analysis by Abstract Interpretation: A Mathematical P... |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Library of Numerical Abstract Domains for Static Analysis Bertrand Jeannet1 and Antoine Min?e2 1 INRIA Rh^one-Alpes, Grenoble, France, Bertrand.Jeannet@inrialpes.fr 2 CNRS, ?Ecole ...
CONCUR
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
75
Voted
CC
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
ICCL
1992
IEEE
15 years 1 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
ENTCS
2006
14 years 9 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 ...