Sciweavers

Share
37 search results - page 1 / 8
» Precise interprocedural analysis through linear algebra
Sort
View
ESOP
2007
Springer
11 years 11 months ago
Interprocedurally Analysing Linear Inequality Relations
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...
Helmut Seidl, Andrea Flexeder, Michael Petter
POPL
2005
ACM
12 years 5 months ago
Precise interprocedural analysis using random interpretation
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
Sumit Gulwani, George C. Necula
LCPC
1999
Springer
11 years 9 months ago
A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs
In this paper, we present an ef´Čücient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
Olav Beckmann, Paul H. J. Kelly
ESOP
2007
Springer
11 years 11 months ago
Computing Procedure Summaries for Interprocedural Analysis
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...
Sumit Gulwani, Ashish Tiwari
books