BANANA - A Tool for Boundary Ambients Nesting ANAlysis
No abstract available.
Related papers
- Complexity of Nesting Analysis in Mobile Ambients VMCAI 2003
- Talking bananas: structural recursion for session types ICFP 2016
- V-Star: Learning Visibly Pushdown Grammars from Program Inputs PLDI 2024
- A Parametric Model for the Analysis of Mobile Ambients APLAS 2005
- A Kleene Analysis of Mobile Ambients ESOP 2000
- A Control Flow Analysis for Safe and Boxed Ambients ESOP 2004
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- A logic you can count on POPL 2004