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.

• Type: Journal
• Year: 2010
• Where: SAS
• Authors: Simon Holm Jensen, Anders Møller, Peter Thiemann
• Keywords: Context-sensitive Interprocedural Analysis, Formal Methods, Lazy Propagation, SAS 2010, Type Analysis Tool