Towards object-oriented KLAIM

Electronic Notes in Theoretical Computer Science

Volumn 62, Issue , 2002, Pages 38-51

  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

KERNEL LANGUAGE FOR AGENT INTERACTION AND MOBILITY (KLAIM); MIXIN TECHNIQUE; MOBILE CODES; REMOTE EVALUATION;

AUTOMATION; COMPUTER APPLICATIONS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DATA PROCESSING; DATA REDUCTION; DISTRIBUTED DATABASE SYSTEMS; INTERNET;

OBJECT ORIENTED PROGRAMMING;

EID: 19144367835     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00318-4     Document Type: Conference Paper

References (29)

1. Abadi M., Cardelli L. "A Theory of Objects," 1996;Springer
2. Bettini L., R. De Nicola, G. Ferrari and R. Pugliese, Interactive Mobile Agents in X-Klaim, in: P. Ciancarini and R. Tolksdorf, editors, Proc. of the 7th Int. IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (1998), pp. 110-115.
3. Bettini L., M. Loreti and B. Venneri, On Multiple Inheritance in Java, in: Proc. of TOOLS EASTERN EUROPE, Emerging Technologies, Emerging Markets, 2002, to appear.
4. Blasio P.D., Fisher K. A Calculus for Concurrent Objects. Montanari U., Sassone V. CONCUR '96: Concurrency Theory, 7th Int. Conf., LNCS 1119. 1996;655-670
5. Bono V., A. Patel and V. Shmatikov, A Core Calculus of Classes and Mixins, in: Guerraoui R., editor, Proceedings ECOOP'99, number 1628 in LCNS (1999), pp. 43-66.
6. Boyen N., C. Lucas and P. Steyaert, Generalised Mixin-based Inheritance to Support Multiple Inheritance, Technical Report vub-prog-tr-94-12, Vrije Universiteit Brussel (1994).
7. Bracha G. and W. Cook, Mixin-based inheritance, in: Proc. OOPSLA '90, 1990, pp. 303-311.
8. Bugliesi M. and G. Castagna, Mobile Objects, in: Proc. of FOOL, 2000.
9. Cardelli L. A Language with Distributed Scope. Computing Systems. 8:1995;27-59
10. Cardelli L., Mobile computation, in: Vitek and Tschudin [27], pp. 3-6.
11. Carriero N., Gelernter D. Linda in Context. Comm. of the ACM. 32:1989;444-458
12. Carzaniga A., G. Picco and G. Vigna, Designing Distributed Applications with Mobile Code Paradigms, in: R. Taylor, editor, Proc. of the 19th Int. Conf. on Software Engineering (ICSE '97) (1997), pp. 22-33.
13. De Nicola R., Ferrari G., Pugliese R. Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering. 24:1998;315-330
14. De Nicola R., Ferrari G., Pugliese R., Venneri B. Types for Access Control. Theoretical Computer Science. 240:2000;215-254
15. Flatt M., S. Krishnamurthi and M. Felleisen, Classes and mixins, in: Proc. POPL '98, 1998, pp. 171-183.
16. Gamma E., Helm R., Johnson R., Vlissides J. "Design Patterns: Elements of Reusable Object-Oriented Software," 1995;Addison-Wesley
17. Gelernter D. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems. 7:1985;80-112
18. Gordon, A. D. and P. D. Hankin, A Concurrent Object Calculus: Reduction and Typing, in: U. Nestmann and B. C. Pierce, editors, Proc. of HLCL '98: High-Level Concurrent Languages, ENTCS 16.3 (1998).
19. Harrison C., D. Chess and A. Kershenbaum, Mobile agents: Are they a good idea?, Research Report 19887, IBM Research Division (1994).
20. Limberghen M.V., Mens T. Encapsulation and composition as orthogonal operators on mixins: a solution to multiple inheritance problems. Object Oriented Systems. 3:1996;1-30
21. Milner R. "Communication and Concurrency," 1989;Prentice Hall
22. Milner R., Parrow J., Walker J. A Calculus of Mobile Processes, I and II. Information and Computation. 100:1992;1-40. 41-77
23. Pierce, B. C. and D. N. Turner, Concurrent Objects in a Process Calculus, in: T. Ito and A. Yonezawa, editors, Proc. Theory and Practice of Parallel Programming (TPPP 94), LNCS 907 (1995), pp. 187-215.
24. Smaragdakis Y. and D. Batory, Implementing layered designs with mixin layers, in: Proc. ECOOP '98, 1998, pp. 550-570.
25. Thorn T., Programming Languages for Mobile Code, ACM Computing Surveys 29 (1997), pp. 213-239, also Technical Report 1083, University of Rennes IRISA.
26. VanHilst M. and D. Notkin, Using role components to implement collaboration-based designs, in: Proc. OOPSLA '96, 1996, pp. 359-369.
27. Vitek J., Tschudin C. "Mobile Object Systems - Towards the Programmable Internet," 1997;Springer
28. White, J. E., Mobile Agents, in: J. Bradshaw, editor, Software Agents (1996)
29. Wright A., Felleisen M. A syntactic approach to type soundness. Information and Computation. 115:1994;38-94