Abstract Interpretation of Mobile Ambients.

Ren Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson

Browse the full SAS paper archive.