On traits and types in a java-like setting

IFIP International Federation for Information Processing

Volumn 273, Issue , 2008, Pages 367-382

  Bono, Viviana ^a   Damiani, Ferruccio ^a   Giachino, Elena ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL ANALYSIS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; OBJECT ORIENTED PROGRAMMING; REUSABILITY;

DYNAMICALLY TYPED LANGUAGES; FLATTENING; INHERITANCE; OBJECT-ORIENTED PARADIGM; OPERATIONAL SEMANTICS; PROGRAM COMPONENTS; REUSE MECHANISM; TYPE SYSTEMS;

COMPUTER SOFTWARE REUSABILITY;

EID: 48249084168     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-09680-3_25     Document Type: Conference Paper

References (27)

1. The Fortress language specification. http://research.sun.com/projects/ plrg/fortress.pdf.
2. The Agile Alliance. Manifesto for Agile Software Development. http://agilemanifesto.org/.
3. D. Ancona, G. Lagorio, and E. Zucca. Jam - designing a Java extension with mixins. ACM TOPLAS, 25(5):641-712, September 2003.
4. A. Bergel, S. Ducasse, O. Nierstrasz, and R. Wuyts. Stateful traits. In Advances in Smalltalk - Proceedings of 14th International Smalltalk Conference (ISC 2006), volume 4406 of LNCS, pages 66-90. Springer, 2007.
5. V. Bono, F. Damiani, and E. Giachino. Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse. In Electronic proceedings of FTfJP'07 (http://www.cs.ru.nl/ftfjp/), 2007.
6. G. Bracha. The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Comp. Sci., Univ. of Utah, 1992.
7. G. Bracha and W. Cook. Mixin-based inheritance. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1990 volume 25(10) of SIGPLAN Notices, pages 303-311. ACM Press, October 1990.
8. D. Cassou, S. Ducasse, and R. Wuyts. Redesigning with traits: The nile stream trait-based library. In Proc. International Conference on Dynamic Languages, pages 50-79, 2007.
9. W.R. Cook, W.L. Hill, and P.S. Canning. Inheritance is not subtyping. In ACM Symp. on Principles of Programming Languages 1990, pages 125-135. ACM Press, 1990.
10. S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, and A. Black. Traits: A mechanism for fine-grained reuse. ACM TOPLAS, 28(2):331-388, 2006.
11. K. Fisher and J. Reppy. Inheritance-based subtyping. Information and Computation, 177(1):28-55, 2002.
12. K. Fisher and J. Reppy. A typed calculus of traits. In Electronic proceedings of FOOL 2004, 2004.
13. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In ACM Symp. on Principles of Programming Languages 1998, pages 171-183. ACM Press, 1998.
14. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
15. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS, 23(3):396-450, 2001.
16. A. Lienhard, S. Ducasse, and G. Arévalo. Identifying traits with formal concept analysis. In Proc. 20th Conference on Automated Software Engineering (ASE'05), pages 66-75. IEEE Computer Society, 2005.
17. M. Van Limberghen and T. Mens. Encapsulation and composition as orthogonal operators on mixins: A solution to multiple inheritance problems. Object Oriented Systems, 3(1):1-30, 1996.
18. L. Liquori and A Spiwack. Feathertrait: A modest extension of featherweight java. ACM TOPLAS. To appear.
19. D. Maleyery and J. Aldrich. Combining structural subtyping and external dispatch. In Electronic proceedings of FOOL/WOOD 2007, 2007.
20. L. Mikhajlov and E. Sekerinski. A Study of the Fragile Base Class Problem. In Proc. ECOOP '98, volume 1445 of LNCS, pages 355-382. Springer-Verlag, 1998.
21. O. Nierstrasz, S. Ducasse, and N. Schärli. Flattening traits. JOT (www.jot.fm), 5(4):129-148, 2006.
22. M. Odersky. The Scala Language Specification, version 2.4. Technical report, Programming Methods Laboratory, EPFL, Switzerland, 2007.
23. J. Reppy and A. Turon. A foundation for trait-based metaprogramming. In Electronic proceedings of FOOL/WOOD 2006, 2006.
24. J. Reppy and A. Turon. Metaprogramming with traits. In ECOOP 2007, volume 4609 of LNCS, pages 373-398. Springer, 2007.
25. N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behavior. In ECOOP 2003, volume 2743 of LNCS, pages 248-274. Springer, 2003.
26. C. Smith and S. Drossopoulou. Chai: Traits for java-like languages. In ECOOP'05, LNCS 3586, pages 453-478. Springer, 2005.
27. A. Snyder. Encapsulation and inheritance in object-oriented programming languages. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1986, volume 21(11) of SIGPLAN Notices pages 38-45. ACM Press, 1986.