1403 search results - page 49 / 281 » Quantitative Interprocedural Analysis |
122
click to vote
DAGSTUHL
1996
15 years 10 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...
162
Voted
POPL
2005
ACM
15 years 11 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
IWMM
2004
Springer
15 years 4 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...
ICFP
1997
ACM
15 years 2 months ago
1997
ACM
An interprocedural flow analysis can justify inlining in higher-order languages. In principle, more inlining can be performed as analysis accuracy improves. This paper compares fo...
80
Voted
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...