Symbolic Parallelization of Nested Loop Programs

by Tanase, Alexandru-Petru, Hannig, Frank, Teich, Jürgen
Published 2018