Improving Side-Effect Analysis with Lazy Access Path Resolving | IEEE Conference Publication | IEEE Xplore