Pages that link to "Item:Q5458791"
From MaRDI portal
The following pages link to Determinacy Analysis for Logic Programs Using Mode and Type Information (Q5458791):
Displayed 6 items.
- Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (Q980470) (← links)
- Testing your (static analysis) truths (Q2119122) (← links)
- Parallel backtracking with answer memoing for independent and-parallelism (Q3087444) (← links)
- Counting Successes: Effects and Transformations for Non-deterministic Programs (Q3188280) (← links)
- Non-discriminating Arguments and Their Uses (Q4649724) (← links)
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (Q5504598) (← links)