Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals | IEEE Conference Publication | IEEE Xplore