A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.

Gianluca Amato, Francesca Scozzari

Browse the full LOPSTR paper archive.