Efficient interprocedural array data-flow analysis for automatic program parallelization | IEEE Journals & Magazine | IEEE Xplore