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

Arnaud Venet

Browse the full SAS paper archive.