volume 29, issue 12, Pe1889 2017
DOI: 10.1002/smr.1889
View full text
Sign up to set email alerts

Abstract: Abstract We present a static analysis for determining whether and to what extent functions in JavaScript programs are pure. To this end, the analysis classifies functions as pure functions, observers, or procedures. A function is pure if none of its executions generate or depend upon externally observable side effects. A function is an observer as soon as one of its executions depends on an external side effect, but none of its executions generate observable side effects. Otherwise, the function is classified…

Expand abstract