An And-Parallel Execution Model of Logic Programs
Abstract elided by the publisher.
Related papers
- Serialization sets: a dynamic dependence-based parallel execution model PPoPP 2009
- Analysis of Or-Parallel Execution Models TOPLAS 1993
- Extracting logical structure and identifying stragglers in parallel execution traces PPoPP 2014
- Parallel execution of prolog programs: a survey TOPLAS 2001
- PIMFlow: Compiler and Runtime Support for CNN Models on Processing-in-Memory DRAM CGO 2023
- On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes CAV 1995
- A Data-Driven Model for a Subset of Logic Programming TOPLAS 1987
- Static prediction of parallel computation graphs POPL 2022