128 search results - page 4 / 26 » Fast Interprocedural Class Analysis |
183
click to vote
POPL
2007
ACM
16 years 6 days ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
100
click to vote
POPL
2004
ACM
15 years 5 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
115
Voted
STACS
2007
Springer
15 years 6 months ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...
218
click to vote
PLDI
2009
ACM
16 years 16 days ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
IBPRIA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a new Bayesian approach to hyperspectral image segmentation that boosts the performance of the discriminative classifiers. This is achieved by combin...