Aarhus University Seal / Aarhus Universitets segl

Interprocedural Analysis with Lazy Propagation

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Standard

Interprocedural Analysis with Lazy Propagation. / Jensen, Simon Holm; Møller, Anders; Thiemann, Peter.

In: Lecture Notes in Computer Science, Vol. 6337, 2010, p. 320-339.

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Harvard

Jensen, SH, Møller, A & Thiemann, P 2010, 'Interprocedural Analysis with Lazy Propagation', Lecture Notes in Computer Science, vol. 6337, pp. 320-339. https://doi.org/10.1007/978-3-642-15769-1_20

APA

Jensen, S. H., Møller, A., & Thiemann, P. (2010). Interprocedural Analysis with Lazy Propagation. Lecture Notes in Computer Science, 6337, 320-339. https://doi.org/10.1007/978-3-642-15769-1_20

CBE

Jensen SH, Møller A, Thiemann P. 2010. Interprocedural Analysis with Lazy Propagation. Lecture Notes in Computer Science. 6337:320-339. https://doi.org/10.1007/978-3-642-15769-1_20

MLA

Jensen, Simon Holm, Anders Møller and Peter Thiemann. "Interprocedural Analysis with Lazy Propagation". Lecture Notes in Computer Science. 2010, 6337. 320-339. https://doi.org/10.1007/978-3-642-15769-1_20

Vancouver

Jensen SH, Møller A, Thiemann P. Interprocedural Analysis with Lazy Propagation. Lecture Notes in Computer Science. 2010;6337:320-339. https://doi.org/10.1007/978-3-642-15769-1_20

Author

Jensen, Simon Holm ; Møller, Anders ; Thiemann, Peter. / Interprocedural Analysis with Lazy Propagation. In: Lecture Notes in Computer Science. 2010 ; Vol. 6337. pp. 320-339.

Bibtex

@inproceedings{edfb3fe066a411df8bd0000ea68e967b,
title = "Interprocedural Analysis with Lazy Propagation",
abstract = "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.",
author = "Jensen, {Simon Holm} and Anders M{\o}ller and Peter Thiemann",
note = "title of the vol.: Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : Proceedings / ed. by Radhia Cousot and Matthieu Martel ISBN: 3642157688; 9783642157684 ; null ; Conference date: 14-09-2010 Through 16-09-2010",
year = "2010",
doi = "10.1007/978-3-642-15769-1_20",
language = "English",
volume = "6337",
pages = "320--339",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer",

}

RIS

TY - GEN

T1 - Interprocedural Analysis with Lazy Propagation

AU - Jensen, Simon Holm

AU - Møller, Anders

AU - Thiemann, Peter

N1 - Conference code: 17

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-15769-1_20

DO - 10.1007/978-3-642-15769-1_20

M3 - Conference article

VL - 6337

SP - 320

EP - 339

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

Y2 - 14 September 2010 through 16 September 2010

ER -