Transforming generate-and-test programs to execute under committed-choice AND-parallelism

DOI10.1007/BF01379187MaRDI QIDQ914360zbMATH OpenFDO

Authors Arvind Bansal, Leon S. Sterling

Publication date 1989

Published in International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01379187

zbMATH Keywords

parallelismlogic programmingprogram transformationcommitted-choice

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Artificial intelligence (68T99) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 3958714
• Compiling OR-parallelism into AND-parallelism
• Publication:4723279
• An execution model for exploiting AND-parallelism in logic programs
• scientific article; zbMATH DE number 4045121

Cites work

• scientific article; zbMATH DE number 3958714 (Why is no real title available?)
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 41233 (Why is no real title available?)
• AND parallelism and nondeterminism in logic programs
• Guarded commands, nondeterminacy and formal derivation of programs
• Notes on the implementation of PARLOG
• OR-parallel execution of Prolog on a multi-sequential machine
• PARLOG: parallel programming in logic

Cited in

(3)

• scientific article; zbMATH DE number 3958714 (Why is no real title available?)
• A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction
• Compiling OR-parallelism into AND-parallelism

Describes a project that uses

Uses Software

• GHC
• PARLOG

This page was built for publication: Transforming generate-and-test programs to execute under committed-choice AND-parallelism

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