An Abstract Interpretation Framework for Analysing Mobile Ambients
Abstract elided by the publisher.
Related papers
- Abstract Interpretation of Mobile Ambients SAS 1999
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- Shape Analysis for Mobile Ambients POPL 2000
- A Fully Abstract Model for Higher-Order Mobile Ambients VMCAI 2002
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- Deciding Reachability in Mobile Ambients ESOP 2005
- A Parametric Model for the Analysis of Mobile Ambients APLAS 2005
- Finite-Control Mobile Ambients ESOP 2002