Sciweavers

Share
SAS
2010
Springer

Interprocedural Analysis with Lazy Propagation

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 may not be distributive. The technique is described formally as a systematic modification of a variant of the monotone framework and its theoretical properties are shown. It is implemented in a type analysis tool for JavaScript where it results in a significant improvement in performance.
Simon Holm Jensen, Anders Møller, Peter Thi
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where SAS
Authors Simon Holm Jensen, Anders Møller, Peter Thiemann
Comments (0)
books