Pages that link to "Item:Q4012712"
From MaRDI portal
The following pages link to Static analysis of logic programs for independent and parallelism (Q4012712):
Displayed 16 items.
- Exploiting linearity in sharing analysis of object-oriented programs (Q737080) (← links)
- Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Non-strict independence-based program parallelization using sharing and freeness information (Q1035704) (← links)
- The quotient of an abstract interpretation (Q1128983) (← links)
- Type dependencies for logic programs using ACI-unification (Q1575243) (← links)
- Set-sharing is redundant for pair-sharing (Q1605223) (← links)
- PAN: A portable, parallel Prolog: Its design, realisation and performance. (Q1862650) (← links)
- Pair-independence and freeness analysis through linear refinement. (Q1873754) (← links)
- Design of abstract domains using first-order logic (Q1960541) (← links)
- Optimality in goal-dependent analysis of Sharing (Q3181746) (← links)
- On the interaction between sharing and linearity (Q3400961) (← links)
- A freeness and sharing analysis of logic programs based on a pre-interpretation (Q5030191) (← links)
- The role of linearity in sharing analysis (Q5055490) (← links)
- Optimal multibinding unification for sharing and linearity analysis (Q5418949) (← links)
- Negative Ternary Set-Sharing (Q5504663) (← links)