The following pages link to Pair-sharing over rational trees (Q4520179):
Displaying 6 items.
- Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
- Set-sharing is redundant for pair-sharing (Q1605223) (← links)
- Representation sharing for Prolog (Q2845123) (← links)
- Optimality in goal-dependent analysis of Sharing (Q3181746) (← links)
- On the interaction between sharing and linearity (Q3400961) (← links)
- Optimal multibinding unification for sharing and linearity analysis (Q5418949) (← links)