Program dependence analysis for concurrency exploitation in programs composed of abstract data type modules | IEEE Conference Publication | IEEE Xplore