Abstract Domains for Sharing Analysis by Optimal Semantics.

Francesca Scozzari Abstract Domains for Sharing Analysis by Optimal Semantics. 397-412 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#Scozzari00