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.