Compiling Extended Concurrent Prolog - Single Queue Compilation
No abstract available.
Related papers
- A Chare Kernel Implementation of a Parallel Prolog Compiler PPoPP 1990
- A Practical Approach for Model Checking C/C++11 Code TOPLAS 2016
- FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue PPoPP 2008
- A lock-free relaxed concurrent queue for fast work distribution PPoPP 2021
- The Concurrent Language, Shared Prolog TOPLAS 1991
- Aggregating Funnels for Faster Fetch&Add and Queues PPoPP 2025
- Basic Compiler Algorithms for Parallel Programs PPoPP 1999
- Parsing and Compiling Using Prolog TOPLAS 1987