Abstract
In sequential class-and mixin-based settings, subtyping is essentially a relation on objects: no subtype relation is defined on classes and mixins, otherwise there would be conflicts with the inheritance mechanism, creating type un-safety. Nevertheless, a width-depth subtyping relation on class and mixin types is useful in the realm of mobile and distributed processes, where object-oriented code may be exchanged among the sites of a net. In our proposal, classes and mixins become “first-class citizens” at communication time, and communication is ruled by a type-safe width-depth subtyping relation.
This work has been partially supproted by EU within the FET - Global computing intiative, project AGILE IST-2001_32747, Project DART IST-2001_33477 and by MIUR Project NAPOLI. The funding bodies are not responsible for any use that might be made of the result presnted of the presented here.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Abadi and L. Cardelli. A Theory of Objects. Springer, 1996.
D. Ancona, G. Lagorio, and E. Zucca. Jam-A Smooth Extension of Java with Mixins. In Proc. of ECOOP’00, volume 1850 of LNCS, pages 145–178, 2000.
L. Bettini. A Java package for class and mixin mobility in a distributed setting. In Proc, of FIDJI’03, volume 2952 of LNCS, pages 12–22. Springer-Verlag, 2003.
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.
L. Bettini, V. Bono, and B. Venneri. Coordinating Mobile Object-Oriented Code. In Proc. of Coordination, volume 2315 of LNCS, pages 56–71. Springer, 2002.
L. Bettini, V. Bono, and B. Venneri. Subtyping Mobile Classes and Mixins. In Proc. of FOOL 10, 2003.
L. Bettini, V. Bono, and B. Venneri. O’KLAIM: a coordination language with mobile mixins. In Proc. of Coordination, volume 2949 of LNCS, pages 20–37. Springer, 2004.
V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In Proc. of CSL’94, volume 933 of LNCS, pages 16–30. Springer-Verlag, 1995.
V. Bono, A. Patel, and V. Shmatikov. A Core Calculus of Classes and Mixins. In Proc. of ECOOP’99, volume 1628 of LNCS, pages 43–66. Springer-Verlag, 1999.
G. Bracha and W. Cook. Mixin-based inheritance. In Proc. of OOPSLA’ 90, pages 303–311. ACM, 1990.
K. Bruce. Foundations of Object-Oriented Languages-Types and Semantics. The MIT Press, 2002.
M. Bugliesi, S. Crafa, and G. Castagna. Typed Mobile Objects. In Proc. of CONCUR’ 00, volume 1877 of LNCS, pages 504–520. Springer-Verlag, 2000.
L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27–59, 1995.
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.
K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In Proc. of FCT’95, volume 965 of LNCS, pages 42–61. Springer-Verlag, 1995.
K. Fisher and J. Reppy. A typed calculus of traits. In FOOL 11, 2004.
M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Proc. of POPL’ 98, pages 171–183. ACM, 1998.
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
B. C. Pierce. Types and Programming Languages. The MIT Press, 2002.
J. Riecke and C. Stone. Privacy via Subsumption. Information and Computation, 172:2–28, 2002.
N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behaviour. In Proc. of ECOOP 2003, volume 2743 of LNCS, pages 248–274. Springer, 2003.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Bettini, L., Bono, V., Venneri, B. (2004). Subtyping-Inheritance Conflicts: The Mobile Mixin Case. In: Levy, JJ., Mayr, E.W., Mitchell, J.C. (eds) Exploring New Frontiers of Theoretical Informatics. IFIP International Federation for Information Processing, vol 155. Springer, Boston, MA. https://doi.org/10.1007/1-4020-8141-3_35
Download citation
DOI: https://doi.org/10.1007/1-4020-8141-3_35
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8140-8
Online ISBN: 978-1-4020-8141-5
eBook Packages: Springer Book Archive