37 search results - page 1 / 8 » Precise interprocedural analysis through linear algebra |
219
Voted
POPL
2004
ACM
16 years 1 months ago
2004
ACM
98
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
203
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
113
click to vote
LCPC
1999
Springer
15 years 5 months ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
96
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...