Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
scientific article; zbMATH DE number 1521805