Minimizing the overheads of dependent AND-parallelism

DOI10.4230/LIPIcs.ICLP.2011.128zbMath1245.68058OpenAlexW2185769437WikidataQ113571348 ScholiaQ113571348MaRDI QIDQ2909152

Zoltan Somogyi, Peter C. C. Wang

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_1646.html

zbMATH Keywords

synchronizationprogram transformation

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• DASWAM
• Prolog
• wamcc
• Mercury

This page was built for publication: Minimizing the overheads of dependent AND-parallelism