Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming | Publicación