7 search results - page 1 / 2 » A family of abstract interpretations for static analysis of ... |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
CONCUR
2005
Springer
13 years 10 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 ...
TACAS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...