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. © 2010 Springer-Verlag.
CITATION STYLE
Jensen, S. H., Møller, A., & Thiemann, P. (2010). Interprocedural analysis with lazy propagation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6337 LNCS, pp. 320–339). https://doi.org/10.1007/978-3-642-15769-1_20
Mendeley helps you to discover research relevant for your work.