112
click to vote
SAS
2010
Springer
15 years 1 months ago
2010
Springer
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...