Static detection of resource contention problems in server-side scripts | IEEE Conference Publication | IEEE Xplore