CC
2006
Springer
13 years 8 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
ESEC
1999
Springer
13 years 8 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...