Pages that link to "Item:Q1818409"
From MaRDI portal
The following pages link to Determinacy analysis for efficient execution of logic programs (Q1818409):
Displaying 7 items.
- Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (Q980470) (← links)
- (Q2767034) (← links)
- A design and implementation of the extended Andorra model (Q2909520) (← links)
- (Q3067642) (← links)
- Efficient dataflow analysis of logic programs (Q4302797) (← links)
- Determinacy Analysis for Logic Programs Using Mode and Type Information (Q5458791) (← links)
- Determination of the class of validity of logical formulas by directed exhaustive search (Q5942025) (← links)