Pages that link to "Item:Q980470"
From MaRDI portal
The following pages link to Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (Q980470):
Displaying 6 items.
- Testing your (static analysis) truths (Q2119122) (← links)
- An overview of Ciao and its design philosophy (Q2893101) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- Programming Languages and Systems (Q5316587) (← links)
- Determinacy Analysis for Logic Programs Using Mode and Type Information (Q5458791) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)