O'KLAIM: A coordination language with mobile mixins

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2949, Issue , 2004, Pages 20-37

  Bettini, Lorenzo ^a   Bono, Viviana ^b   Venneri, Betti ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; CODES (SYMBOLS); FORMAL LANGUAGES; PATTERN MATCHING;

ASYNCHRONOUS COMMUNICATION MODEL; COORDINATION LANGUAGE; DISTRIBUTED TUPLE SPACES; HIGHER-ORDER CALCULUS; LOCAL RECONFIGURATIONS; OBJECT-ORIENTED CODE; OBJECT-ORIENTED FEATURES; SUBTYPING RELATION;

COMPUTATIONAL LINGUISTICS;

EID: 24944477512     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24634-3_5     Document Type: Article

References (29)

1. D. Ancona, G. Lagorio, and E. Zucca. Jam - designing a java extension with mixins. ACM Transaction on Programming Languages and Systems, 2003. To appear.
2. L. Bettini. A Java package for class and mixin mobility in a distributed setting. In Proc. of FIDJI'03, LNCS, 2003. To appear.
3. L. Bettini. Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations. PhD thesis, Dip. di Matematica, Università di Siena, 2003. Available at http://music.dsi.unifi.it.
4. L. Bettini, V. Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, and B. Venneri. The KLAIM Project: Theory and Practice. In Global Computing - Trento, LNCS. Springer, 2003. To appear.
5. L. Bettini, V. Bono, and S. Likavec. A core calculus of mixin-based incomplete objects. In FOOL 11, 2004.
6. L. Bettini, V. Bono, and B. Venneri. MoMi - A Calculus for Mobile Mixins. Manuscript.
7. L. Bettini, V. Bono, and B. Venneri. Towards Object-Oriented KLAIM. In TOSCA 2001, volume 62 of ENTCS. Elsevier, 2001.
8. L. Bettini, V. Bono, and B. Venneri. Coordinating Mobile Object-Oriented Code. In Proc. of Coordination Models and Languages, volume 2315 of LNCS, pages 56-71. Springer, 2002.
9. L. Bettini, V. Bono, and B. Venneri. Subtyping Mobile Classes and Mixins. In Proc. of FOOL, 2003.
10. L. Bettini, R. De Nicola, G. Ferrari, and R. Pugliese. Interactive Mobile Agents in X-KLAIM. In Proc. of WETICE, pages 110-115. IEEE Computer Society Press, 1998.
11. L. Bettini, R. De Nicola, and R. Pugliese. X-KLAIM and KLAVA: Programming Mobile Code. In TOSCA 2001, volume 62 of ENTCS. Elsevier, 2001.
12. L. Bettini, R. De Nicola, and R. Pugliese. KLAVA: a Java package for distributed and mobile applications. Software - Practice and Experience, 32(14):1365-1394, 2002.
13. V. Bono, A. Patel, and V. Shmatikov. A Core Calculus of Classes and Mixins. In Proceedings ECOOP'99, number 1628 in LCNS, pages 43-66. Springer, 1999.
14. G. Bracha and W. Cook. Mixin-based inheritance. In Proc. OOPSLA, pages 303-311, 1990.
15. M. Bugliesi and G. Castagna. Mobile Objects. In Proc. of FOOL, 2000.
16. L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27-59, 1995.
17. A. Carzaniga, G. P. Picco, and G. Vigna. Designing Distributed Applications with Mobile Code Paradigms. In Proc. of ICSE, pages 22-33. ACM Press, 1997.
18. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315-330, 1998.
19. R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215-254, 2000.
20. P. Di Blasio and K. Fisher. A Calculus for Concurrent Objects. In Proc. of CONCUR, volume 1119 of LNCS, pages 655-670, Pisa, Italy, 26-29 August 1996. Springer.
21. K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In Proc. of FCT, volume 965 of LNCS, pages 42-61. Springer, 1995.
22. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Proc. POPL '98, pages 171-183, 1998.
23. C. Fournet, G. Gonthier, J. J. Levy, L. Maranget, and D. Remy. A Calculus of Mobile Agents. In Proc. of CONCUR, volume 1119 of LNCS, pages 406-421. Springer, 1996.
24. D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
25. A. Gordon and P. Hankin. A Concurrent Object Calculus: Reduction and Typing. In Proc. of HLCL, volume 16.3 of ENTCS. Elsevier, 1998.
26. B. C. Pierce and D. N. Turner. Concurrent Objects in a Process Calculus. In Proc. of TPPP, volume 907 of LNCS, pages 187-215. Springer, 1995.
27. J. G. Riecke and C. Stone. Privacy via Subsumption. Information and Computation, 172:2-28, 2002. 3rd special issue of Theory and Practice of Object-Oriented Systems (TAPOS).
28. T. Thorn. Programming Languages for Mobile Code. ACM Computing Surveys, 29(3):213-239, 1997. Also Technical Report 1083, University of Rennes IRISA.
29. N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract). In Proc. of CONCUR'99, volume 1664 of LNCS, pages 557-572. Springer-Verlag, 1999.