Journal article
Abstract Interpretation of Mobile Ambients
We show how abstract interpretation can be expressed in a constraint-based formalism that is becoming increasingly popular for the analysis of functional and object-oriented languages. This is illustrated by developing analyses for the ambient calculus. The first step of the development constructs an analysis for counting occurrences of processes inside other processes; we show that the analysis is semantically correct and that the set of acceptable solutions constitutes a Moore family.
The second step considers a previously developed control flow analysis and shows how to induce it from the counting analysis; we show that its properties can be derived from those of the counting analysis using general results about abstract interpretation for constraint-based analyses.
Language: | English |
---|---|
Year: | 2003 |
Pages: | 145-175 |
ISSN: | 18727964 and 01676423 |
Types: | Journal article |
DOI: | 10.1016/S0167-6423(02)00131-4 |
ORCIDs: | Nielson, Flemming and Nielson, Hanne Riis |