Pages that link to "Item:Q4911136"
From MaRDI portal
The following pages link to Annotation of logic programs for independent AND-parallelism by partial evaluation (Q4911136):
Displaying 5 items.
- Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
- Independent and-parallelization of logic programs using static slicing (Q2770772) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Program specialization as a tool for solving word equations (Q6646292) (← links)