Compiling OR-parallelism into AND-parallelism

DOI10.1007/BF03037457zbMath0614.68022OpenAlexW2013234715MaRDI QIDQ1819930

Michael Codish, Ehud Shapiro

Publication date: 1987

Published in: New Generation Computing (Search for Journal in Brave)

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

zbMATH Keywords

program transformationpartial evaluationexamplesConcurrent PrologProlog programsFlat Concurrent Prolog

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Uses Software

• PARLOG
• GHC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A parallel implementation of flat concurrent Prolog
• PARLOG: parallel programming in logic
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making

This page was built for publication: Compiling OR-parallelism into AND-parallelism