Safe and flexible objects with subtyping

Journal of Object Technology

Volumn 4, Issue 10, 2005, Pages 5-29

  Bettini, Lorenzo ^a   Bono, Viviana ^b   Likavec, Silvia ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 30344458527     PISSN: 16601769     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2005.4.10.a1     Document Type: Conference Paper

References (29)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
2. D. Ancona, G. Lagorio, and E. Zucca. Jam - a smooth extension of java with mixins. In Proc. ECOOP 2000, volume 1850 of LNCS, pages 154-178. Springer-Verlag, 2000.
3. D. Ancona and E. Zucca. A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. Mathematical Structures in Computer Science, 12(6):701-737, 2001.
4. L. Bettini, V. Bono, and S. Likavec. A Core Calculus of Higher-Order Mixins and Classes. In Proc. TYPES'03, volume 3085 of LNCS, pages 83-98, 2003.
5. L. Bettini, V. Bono, and S. Likavec. Safe and Flexible Objects. In Proc. OOPS at SAC'05, pages 1258-1263. ACM Press, 2005.
6. L. Bettini, V. Bono, and S. Likavec. Safe Object Composition in the Presence of Subtyping. In Proc. ICTCS'05, volume 3701 of LNCS, pages 128-142. Springer, 2005.
7. L. Bettini, V. Bono, and B. Venneri. MoMi - A Calculus for Mobile Mixins. Acta Informatica, 2005. To appear.
8. V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. A Subtyping for extensible, incomplete objects. Fundamenta Informaticae, 38(4):325-364, 1999.
9. V. Bono, A. Patel, and V. Shmatikov. A core calculus of classes and mixins. In Proc. ECOOP'99, volume 1628 of LNCS, pages 43-66. Springer-Verlag, 1999.
10. G. Bracha and W. Cook. Mixin-based inheritance. In Proc. OOPSLA'90, pages 303-311, 1990.
11. K. Bruce. Foundations of Object-Oriented Languages: Types and Semantics. MIT Press, 2002.
12. K. B. Bruce, L. Cardelli, G. Castagna, T. H. O. Group, G. Leavens, and B. C. Pierce. On binary methods. Theory and Practice of Object Systems, 1(3):217-238, 1995.
13. W. R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.
14. E. Crank and M. Felleisen. Parameter-passing and the lambda calculus. In Proc. POPL'91, pages 233-244, 1991.
15. D. Duggan and C. C. Techaubol. Modular mixin-based inheritance for application frameworks. In Proc. OOPSLA 2001. ACM Press, 2001.
16. M. Felleisen and R. Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 103(2):235-271, 1992.
17. K. Fisher, F. Honsell, and J. C. Mitchell. A lambda-calculus of objects and method specialization. Nordic J. of Computing, 1(1):3-37, 1994.
18. Preliminary version appeared in Proc. LICS'93, pp. 26-38.
19. K. Fisher and J. C. Mitchell. A delegation-based object calculus with subtyping. In Proc. 10th International Conference on Fundamentals of Computation Theory (FCT'95), volume 965 of LNCS, pages 42-61. Springer-Verlag, 1995.
20. K. Fisher and J. Reppy. A typed calculus of traits. In FOOL 11, 2004.
21. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Proc. POPL'98, pages 171-183. ACM Press, 1998.
22. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
23. T. Hirschowitz and X. Leroy. Mixin modules in a call-by-value setting. In Proc. ESOP'00, volume 2305 of LNCS, pages 6-20. Springer-Verlag, 2002.
24. S. Likavec. Types for object oriented and functional programming languages. PhD thesis, Università di Torino, Italy, ENS Lyon, France, 2005.
25. I. Mason and C. Talcott. Programming, transforming, and proving with function abstractions and memories. In Proc. ICALP'89, volume 372 of LNCS, pages 574-588. Springer-Verlag, 1989.
26. J. G. Riecke and C. A. Stone. Privacy via subsumption. Information and Computation, 172(1):2-28, 2002.
27. N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behaviour. In Proc. ECOOP'03, volume 2743 of LNCS, pages 248-274. Springer, 2003.
28. D. Ungar and R. B. Smith. Self: The power of simplicity. ACM SIGPLAN Notices, 22(12):227-242, 1987.
29. A. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.