A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism

DOI10.1007/978-3-540-89982-2_53MaRDI QIDQ5504687zbMATH OpenOpenAlexFDO

Authors Amadeo Casas, M. Carro, Manuel Hermenegildo

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/2903/

zbMATH Keywords

and-parallelismhigh-level implementationProlog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Efficient execution of nondeterministic parallel programs on asynchronous systems
• Non-strict independence-based program parallelization using sharing and freeness information
• On nondeterminism in parallel computation
• Non-strict execution in parallel and distributed computing
• Implementing (nondeterministic) parallel assignments
• On high level characterization of parallelism
• A hardware independent parallel programming model
• scientific article; zbMATH DE number 1091202
• Finding Synchronization-Free Parallelism for Non-uniform Loops

Cites work

• A methodology for granularity-based control of parallelism in logic programs
• Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
• Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
• scientific article; zbMATH DE number 3965422 (Why is no real title available?)
• scientific article; zbMATH DE number 3965423 (Why is no real title available?)
• scientific article; zbMATH DE number 683350 (Why is no real title available?)
• scientific article; zbMATH DE number 2090844 (Why is no real title available?)
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Overview of DASWAM: Exploitation of dependent and-parallelism
• Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming

Cited in

(6)

• Non-strict independence-based program parallelization using sharing and freeness information
• Efficient execution of nondeterministic parallel programs on asynchronous systems
• Optimization schemas for parallel implementation of non-deterministic languages and systems
• Threads and or-parallelism unified
• Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
• Parallel Logic Programming: A Sequel

Describes a project that uses

Uses Software

• DASWAM
• Ciao
• CiaoPP

This page was built for publication: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504687)