Conference paper
Shape analysis for Mobile Ambients
The ambient calculus is a calculus of computation that allows active processes to move between sites. We present an analysis inspired by state-of-the-art pointer analyses that safety and accurately predicts which processes may turn up at what sites during the execution of a composite system. The analysis models sets of processes by sets of regular tree grammars enhanced with context-dependent counts, and it obtains its precision by combining a powerful redex materialisation with a strong redex reduction (in the manner of the strong updates performed in pointer analyses).
The underlying ideas are flexible and scale up to general tree structures admitting powerful restructuring operations.
Language: | English |
---|---|
Publisher: | ACM Press |
Year: | 2000 |
Pages: | 142-154 |
Proceedings: | 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
ISBN: | 1581131259 and 9781581131253 |
Types: | Conference paper |
DOI: | 10.1145/325694.325711 |
ORCIDs: | Nielson, Hanne Riis and Nielson, Flemming |