Pages that link to "Item:Q3181746"
From MaRDI portal
The following pages link to Optimality in goal-dependent analysis of Sharing (Q3181746):
Displaying 7 items.
- Exploiting linearity in sharing analysis of object-oriented programs (Q737080) (← links)
- The design and performance of sharing rules for a partnership in continuous time (Q1915702) (← links)
- Experimental evaluation of numerical domains for inferring ranges (Q2130561) (← links)
- On the interaction between sharing and linearity (Q3400961) (← links)
- Three optimisations for sharing (Q4452604) (← links)
- The role of linearity in sharing analysis (Q5055490) (← links)
- Optimal multibinding unification for sharing and linearity analysis (Q5418949) (← links)