Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming

DOI10.1016/S0167-8191(00)00051-XzbMath0948.68024OpenAlexW2090115207WikidataQ126311230 ScholiaQ126311230MaRDI QIDQ1583370

Manuel V. Hermenegildo

Publication date: 26 October 2000

Published in: Parallel Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-8191(00)00051-x

zbMATH Keywords

cost analysisabstract interpretationautomatic parallelizationgranularity controlirregular computationspointer aliasing analysis

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17)

Related Items (6)

Three improvements to the top-down solver ⋮ Fifty Years of Prolog and Beyond ⋮ Parallel Logic Programming: A Sequel ⋮ Non-strict independence-based program parallelization using sharing and freeness information ⋮ Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs ⋮ A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism

Uses Software

• DASWAM

This page was built for publication: Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming