214 search results - page 3 / 43 » Dynamic Optimistic Interprocedural Analysis: A Framework and... |
CC
2010
Springer
14 years 4 days ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
ICSM
1998
IEEE
13 years 9 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
HICSS
2009
IEEE
14 years 4 days ago
2009
IEEE
Despite optimistic expectations fast diffusion of mobile payments has not taken place after a decade of trials. Several explanations to this situation have been put forward using ...
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
VEE
2005
ACM
13 years 11 months ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...