Confining imperative languages for parallel processing | IEEE Conference Publication | IEEE Xplore