Pages that link to "Item:Q1605223"
From MaRDI portal
The following pages link to Set-sharing is redundant for pair-sharing (Q1605223):
Displaying 8 items.
- Exploiting linearity in sharing analysis of object-oriented programs (Q737080) (← links)
- Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
- Set-sharing is redundant for pair-sharing (Q1605223) (← 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)
- The role of linearity in sharing analysis (Q5055490) (← links)
