173 search results - page 14 / 35 » Interprocedural analysis of asynchronous programs |
130
click to vote
DAGSTUHL
1996
15 years 29 days ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
IWMM
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
PLDI
1999
ACM
15 years 4 months ago
1999
ACM
This paper presents a novel interprocedural, ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers...
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...