References

[1]

Luca Cardelli and A. D. Gordon. Mobile ambients. Theoretical Computer Science, 240(1):177--213, June 2000.

[2]

P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proceedings of the Second International Symposium on Programming, pages 106--130. Dunod, Paris, France, 1976.

[3]

P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. POPL'77, pages 238--252, Los Angeles, California, U.S.A., 1977.

[4]

P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of logic and computation, 2(4):511--547, 1992.

[5]

J. Feret. Amb-s.a.: A static analyzer for mobile ambients. Available prototype.

[6]

J. Feret. Abstract Interpretation-Based Static Analysis of Mobile Ambients. In Eighth International Static Analysis Symposium (SAS'01), number 2126 in LNCS. Springer-Verlag, 2001. © Springer-Verlag.

[7]

M. Karr. Affine relationships among variables of a program. Acta Informatica, pages 133--151, 1976.

[8]

A. Miné. The Octagon Abstract Domain. In AST 2001 in WCRE 2001, IEEE, pages 310--319. IEEE CS Press, October 2001.