Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling
Abstract elided by the publisher.
Related papers
- Suspension Analyses for Concurrent Logic Programs TOPLAS 1994
- Independence in CLP languages TOPLAS 2000
- A work-stealing scheduler for X10's task parallelism with suspension PPoPP 2012
- Static Inference of Modes and Data Dependencies in Logic Programs TOPLAS 1989
- GOAL: Supporting General and Dynamic Adaptation in Computing Systems Onward! 2022
- Analyzing Logic Programs with Dynamic Scheduling POPL 1994
- Task Granularity Analysis in Logic Programs PLDI 1990
- Non-parametric parametricity JFP 2011