Compilation of Logic Programs for Restricted And-Parallelism
No abstract available.
Related papers
- A Separation Logic for Parallel Time Complexity with Work and Span Credits ICFP 2026
- Compiler aided manual speculation for high performance concurrent data structures PPoPP 2013
- The complexity of interaction POPL 2016
- Bring Your Own Data Structures to Datalog OOPSLA 2023
- Compilation of a specialized functional language for massively parallel computers JFP 2000
- A Theory of Restrictions for Logics and Automata CAV 1999
- Compiling data-parallel Datalog CC 2021
- Copperhead: compiling an embedded data parallel language PPoPP 2011