The following pages link to Programming Languages and Systems (Q5316587):
Displaying 5 items.
- Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (Q980470) (← links)
- Correct reasoning about logic programs (Q2909171) (← links)
- (Q3143039) (← links)
- (Q5169616) (← links)
- Determinacy Analysis for Logic Programs Using Mode and Type Information (Q5458791) (← links)