PolyA: True type polymorphism for mobile ambients

IFIP Advances in Information and Communication Technology

Volumn 155, Issue , 2004, Pages 591-604

  Amtoft, Torben ^a   Makholm, Henning ^b   Wells, J B ^b  

^a KANSAS STATE UNIVERSITY   (United States)

^b HERIOT WATT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; DIFFERENTIATION (CALCULUS); POLYMORPHISM;

AMBIENT CALCULUS; BOXED AMBIENTS; COMMUNICATION PRIMITIVES; MOBILE AMBIENTS; POLYMORPHIC TYPE SYSTEMS; PRINCIPAL TYPINGS; RELATED SYSTEMS; SAFE AMBIENTS;

MOBILE AGENTS;

EID: 84901060660     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/1-4020-8141-3_45     Document Type: Conference Paper

References (22)

1. T. Amtoft, A. J. Kfoury, S. M. Pericas-Geertsen. What are polymorphically-typed ambients? In D. Sands, ed., ESOP 2001, Genova, vol. 2028 of LNCS. Springer-Verlag, 2001. An extended version appears as Technical Report BUCS-TR-2000-021, Comp. Sci. Department, Boston University, 2000.
2. T. Amtoft, A. J. Kfoury, S. M. Pericas-Geertsen. Orderly communication in the ambient calculus. Computer Languages, 28, 2002.
3. T. Amtoft, H. Makholm, J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. Technical Report HW-MACS-TR-0015, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004.
4. M. Bugliesi, G. Castagna, S. Crafa. Boxed ambients. In 4th International Conference on Theoretical Aspects of Computer Science (TACS'01), vol. 2215 of LNCS. Springer-Verlag, 2001.
5. L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann et al., eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
6. L. Cardelli, A. D. Gordon. Mobile ambients. In M. Nivat, ed., FoSSaCS'98, vol. 1378 of LNCS. Springer-Verlag, 1998.
7. L. Cardelli, A. D. Gordon. Types for mobile ambients. In POPL'99, San Antonio, Texas. ACM Press, 1999.
8. L. Cardelli, P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), 1985.
9. M. Coppo, M. Dezani-Ciancaglini. A fully abstract model for higher-order mobile ambients. In VMCAI 2002, vol. 2294 of LNCS, 2002.
10. M. Coppo, M. Dezani-Ciancaglini, E. Giovannetti, I. Salvo. M3: Mobility types for mobile processes in mobile ambients. In CATS 2003, vol. 78 of ENTCS, 2003.
11. F. Levi, S. Maffeis. An abstract interpretation framework for analysing mobile ambients. In SAS'01, vol. 2126 of LNCS. Springer-Verlag, 2001.
12. F. Levi, D. Sangiorgi. Controlling interference in ambients. In POPL'00, Boston, Massachusetts. ACM Press, 2000.
13. C. Lhoussaine, V. Sassone. A dependently typed ambient calculus. In Programming Languages & Systems, 13th European Symp. Programming, vol. 2986 of LNCS. Springer-Verlag, 2004.
14. H. Makholm, J. B. Wells. Type inference for PolyA. Technical Report HW-MACS-TR-0013, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004.
15. R. Milner. Communicating and Mobile Systems: The π calculus. Cambridge Press, 1999.
16. F. Nielson, H. R. Nielson, M. Sagiv. A Kleene analysis of mobile ambients. In Programming Languages & Systems, 9th European Symp. Programming, vol. 1782 of LNCS. Springer-Verlag, 2000.
17. H. R. Nielson, F. Nielson. Shape analysis for mobile ambients. Nordic Journal of Computing, 8, 2001. A preliminary version appeared at POPL'00.
18. B. C. Pierce, D. Sangiorgi. Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM, 47(3), 2000.
19. D. Teller, P. Zimmer, D. Hirschkoff. Using ambients to control resources. In CONCUR' 02, vol. 2421 of LNCS. Springer-Verlag, 2002.
20. D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1995. Report no ECS-LFCS-96-345.
21. J. B. Wells. The essence of principal typings. In Proc. 29th Int'l Coll. Automata, Languages, and Programming, vol. 2380 of LNCS. Springer-Verlag, 2002.
22. P. Zimmer. Subtyping and typing algorithms for mobile ambients. In FOSSACS 2000, Berlin, vol. 1784 of LNCS. Springer-Verlag, 2000.