Purity analysis for JavaScript through abstract interpretation

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

Full description

Bibliographic Details

Published in:	Journal of software : evolution and process Vol. 29; no. 12
Main Authors:	Nicolay, Jens, Stiévenart, Quentin, De Meuter, Wolfgang, De Roover, Coen
Format:	Journal Article
Language:	English
Published:	Chichester Wiley Subscription Services, Inc 01.12.2017
Subjects:	abstract interpretation Freshness freshness analysis Java JavaScript Purity purity analysis side effect analysis Side effects Static code analysis
ISSN:	2047-7473, 2047-7481
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!