Nesting analysis of mobile ambients

@article{Braghin2004NestingAO,
  title={Nesting analysis of mobile ambients},
  author={Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza},
  journal={Computer Languages, Systems & Structures},
  year={2004},
  volume={30},
  pages={207-230}
}
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Seidl. The improvements are achieved by enhancing the data structure representations, and by reducing the computation to the control 3ow analysis constraints that are e4ectively necessary to get to the least solution. These theoretical results are also supported by experimental tests run on a Java-based tool that… CONTINUE READING
BETA

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 21 REFERENCES

Mobile ambients. In: Nivat M, editor. Proceedings of the Foundations of Software Science and Computation Structures (FoSSaCS’98)

  • L Cardelli, AD Gordon
  • Lecture Notes in Computer Science,
  • 1998
Highly Influential
4 Excerpts

The complexity of model checking mobile ambients Proceedings of International Conference on Foundations of Software Science and Computation Structures ( FoSSaCS ’ 01 )

  • W Charatonik, S DalZilio, AD Gordon, S Mukhopadhyay, J Talbot
  • Lecture Notes in Computer Science
  • 2001

Similar Papers

Loading similar papers…