173 search results - page 10 / 35 » Interprocedural analysis of asynchronous programs |
TAPSOFT
1997
Springer
15 years 3 months ago
1997
Springer
This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C...
112
click to vote
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
95
Voted
ICSM
1998
IEEE
15 years 3 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...
111
click to vote
LCPC
1999
Springer
15 years 3 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
115
Voted
LCPC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...