Shape analysis for mobile ambients
- 5 January 2000
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 142-154
- https://doi.org/10.1145/325694.325711
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Abstract Interpretation of Mobile AmbientsPublished by Springer Nature ,1999
- Parametric shape analysis via 3-valued logicPublished by Association for Computing Machinery (ACM) ,1999
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- Automatic Determination of Communication Topologies in Mobile SystemsPublished by Springer Nature ,1998
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- Formal language, grammar and set-constraint-based program analysis by abstract interpretationPublished by Association for Computing Machinery (ACM) ,1995
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- Separating binding times in language specificationsPublished by Association for Computing Machinery (ACM) ,1989
- Declaration-free type checkingPublished by Association for Computing Machinery (ACM) ,1985