Complexity of Nesting Analysis in Mobile Ambients
No abstract available.
Related papers
- A Parametric Model for the Analysis of Mobile Ambients APLAS 2005
- A Kleene Analysis of Mobile Ambients ESOP 2000
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- Shape Analysis for Mobile Ambients POPL 2000
- BANANA - A Tool for Boundary Ambients Nesting ANAlysis TACAS 2003
- Deciding Reachability in Mobile Ambients ESOP 2005
- Finite-Control Mobile Ambients ESOP 2002
- An Abstract Interpretation Framework for Analysing Mobile Ambients SAS 2001