Abstract Interpretation of Mobile Ambients

René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson. Abstract Interpretation of Mobile Ambients. In Agostino Cortesi, Gilberto Filé, editors, Static Analysis, 6th International Symposium, SAS 99, Venice, Italy, September 22-24, 1999, Proceedings. Volume 1694 of Lecture Notes in Computer Science, pages 134-148, Springer, 1999. [doi]

Authors

René Rydhof Hansen

This author has not been identified. Look up 'René Rydhof Hansen' in Google

Jacob Grydholt Jensen

This author has not been identified. Look up 'Jacob Grydholt Jensen' in Google

Flemming Nielson

This author has not been identified. Look up 'Flemming Nielson' in Google

Hanne Riis Nielson

This author has not been identified. Look up 'Hanne Riis Nielson' in Google