Sciweavers

Share
74 search results - page 1 / 15
» A Generic Framework for Interprocedural Analysis of Numerica...
Sort
View
SAS
2005
Springer
12 years 1 months ago
A Generic Framework for Interprocedural Analysis of Numerical Properties
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
Markus Müller-Olm, Helmut Seidl
PLDI
2000
ACM
12 years 14 days ago
A framework for interprocedural optimization in the presence of dynamic class loading
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
Vugranam C. Sreedhar, Michael G. Burke, Jong-Deok ...
PLDI
2012
ACM
9 years 10 months ago
Parallelizing top-down interprocedural analyses
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sri...
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
11 years 6 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...
SAINT
2005
IEEE
12 years 1 months ago
A Framework of Numerical Basket Analysis
Basket Analysis is mathematically characterized and extended to search families of sets in this paper. These theories indicate the possibility of various new approaches of data mi...
Takashi Washio, Atsushi Fujimoto, Hiroshi Motoda
books