Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs.

Arnaud Venet Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs. 366-382 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#Venet96