A prototypical Java-like language with records and traits

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, PPPJ 2010

Volumn , Issue , 2010, Pages 129-138

  Bettini, Lorenzo ^a   Damiani, Ferruccio ^a   Schaefer, Ina ^b   Strocco, Fabio ^a  

^a UNIVERSITY OF TURIN   (Italy)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Eclipse; implementation; Java; trait; type system

Indexed keywords

ECLIPSE; IMPLEMENTATION; JAVA; TRAIT; TYPE SYSTEMS;

COMPUTER SOFTWARE; PROBLEM ORIENTED LANGUAGES;

JAVA PROGRAMMING LANGUAGE;

EID: 78549252146     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1852761.1852780     Document Type: Conference Paper

References (51)

1. Google guice. http://code.google.com/p/google-guice.
2. Imp (the ide meta-tooling platform). http://www.eclipse.org/imp.
3. Xpand. http://www.eclipse.org/modeling/m2t/?project=xpand.
4. Xtext - a programming language framework. http://www.eclipse.org/Xtext.
5. E. Allen, D. Chase, J. Hallett, V. Luchangco, G.-W.Maessen, S. Ryu, G. Steele, and S. Tobin-Hochstad. The Fortress Language Specification, V. 1.0, 2008.
6. D. Ancona, G. Lagorio, and E. Zucca. Jam - designing a Java extension with mixins. ACM TOPLAS, 25(5):641-712, September 2003.
7. K. Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley, 1999.
8. A. Bergel, S. Ducasse, O. Nierstrasz, and R. Wuyts. Stateful traits and their formalization. Computer Languages, Systems & Structures, 34(2-3):83-108, 2008.
9. L. Bettini, V. Bono, and M. Naddeo. A trait based re-engineering technique for Java hierarchies. In Proc. of PPPJ, pages 149-158. ACM, 2008.
10. L. Bettini, F. Damiani, and I. Schaefer. Implementing SPL using Traits. Technical report, Dipartimento di Informatica, Università di Torino, 2009. Available at http://www.di.unito.it/~damiani/papers/isplurat.pdf.
11. L. Bettini, F. Damiani, and I. Schaefer. Implementing Software Product Lines using Traits. In Proc. of OOPS, Track of SAC, pages 2096-2102. ACM, 2010.
12. G. Bierman, M. Parkinson, and A. Pitts. MJ: An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge, Computer Laboratory, April 2003.
13. A. P. Black, N. Schärli, and S. Ducasse. Applying traits to the Smalltalk collection classes. In Proc. of OOPSLA, pages 47-64. ACM, 2003.
14. V. Bono, F. Damiani, and E. Giachino. Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse. In Electronic proceedings of FTfJP, 2007.
15. V. Bono, F. Damiani, and E. Giachino. On Traits and Types in a Javalike setting. In TCS (Track B), volume 273 of IFIP, pages 367-382. Springer, 2008.
16. G. Bracha. The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, 1992.
17. G. Bracha and W. Cook. Mixin-based inheritance. In OOPSLA, volume 25(10), pages 303-311. ACM, 1990.
18. D. Cassou, S. Ducasse, and R.Wuyts. Redesigning with traits: the nile stream trait-based library. In Proc. of ICDL '07, pages 50-75. ACM, 2007.
19. D. Cassou, S. Ducasse, and R. Wuyts. Traits at work: The design of a new trait-based stream library. Comput. Lang. Syst. Struct., 35(1):2-20, 2009.
20. P. Charles, R. M. Fuhrer, S. M. S. Jr., E. Duesterwald, and J. Vinju. Accelerating the creation of customized, language-Specific IDEs in Eclipse. In OOPSLA, pages 191-206. ACM, 2009.
21. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison Wesley Longman, 2001.
22. W. Cook, W. Hill, and P. Canning. Inheritance is not subtyping. In POPL, pages 125-135. ACM, 1990.
23. 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.
24. K. Fisher and J. Reppy. A typed calculus of traits. In FOOL, 2004.
25. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Proc. POPL '98, pages 171-183, 1998.
26. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
27. F. Heidenreich, J. Johannes, S. Karol, M. Seifert, and C. Wende. Derivation and Refinement of Textual Syntax for Models. In ECMDAFA, volume 5562 of LNCS, pages 114-129. Springer, 2009.
28. J. Hendler. Enhancement for multiple-inheritance. In Proc. SIGPLAN workshop on Object-oriented programming, pages 98-106. ACM, 1986.
29. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS, 23(3):396-450, 2001.
30. G. Lagorio, M. Servetto, and E. Zucca. Featherweight Jigsaw - A minimal core calculus for modular composition of classes. In ECOOP, LNCS 5653, pages 244-268. Springer, 2009.
31. G. Lagorio, M. Servetto, and E. Zucca. Flattening versus direct semantics for Featherweight Jigsaw. In Proc. of FOOL, 2009.
32. A. Lienhard, S. Ducasse, and G. Arévalo. Identifying traits with formal concept analysis. In ASE, pages 66-75. IEEE, 2005.
33. M. Limberghen and T. Mens. Encapsulation and composition as orthogonal operators on mixins: A solution to multiple inheritance problems. 3(1):1-30, 1996.
34. L. Liquori and A. Spiwack. FeatherTrait: A Modest Extension of Featherweight Java. ACM TOPLAS, 30(2), 2008.
35. B. Meyer. Object-Oriented Software Construction, 2nd Edition. Prentice-Hall, 1997.
36. E. R. Murphy-Hill, P. J. Quitslund, and A. P. Black. Removing duplication from java.io: a case study using traits. In OOPSLA, pages 282-291. ACM, 2005.
37. O. Nierstrasz, S. Ducasse, and N. Schärli. Flattening traits. JOT, 5(4):129-148, 2006.
38. M. Odersky. The Scala Language Specification, version 2.4. Technical report, Programming Methods Laboratory, EPFL, 2007.
39. T. Parr. The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Programmers, May 2007.
40. P. J. Quitslund. Java Traits - Improving Opportunities for Reuse. Technical Report CSE-04-005, OGI School of Science & Engineering, Beaverton, Oregon, USA, Sept. 2004.
41. P. J. Quitslund, R. Murphy-Hill, and A. P. Black. Supporting Java traits in Eclipse. In ETX, pages 37-41. ACM, 2004.
42. D. Remy and J. Vouillon. Objective ML: An effective object-oriented extension to ML. Theory and Practice of Object Systems, 4(1):27-50, 1998.
43. J. Reppy and A. Turon. A Foundation for Trait-based Metaprogramming. In FOOL/WOOD, 2006.
44. J. Reppy and A. Turon. Metaprogramming with traits. In ECOOP, volume 4609 of LNCS, pages 373-398. Springer, 2007.
45. N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behavior. In ECOOP, volume 2743 of LNCS, pages 248-274. Springer, 2003.
46. C. Smith and S. Drossopoulou. Chai: Traits for Java-like languages. In ECOOP, LNCS 3586, pages 453-478. Springer, 2005.
47. A. Snyder. Encapsulation and inheritance in object-oriented programming languages. In OOPSLA, volume 21(11), pages 38-45. ACM, 1986.
48. D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. EMF: Eclipse Modeling Framework. Addison Wesley Professional, 2nd edition, 2008.
49. R. Strniša, P. Sewell, and M. Parkinson. The Java module system: core design and semantic definition. In proc. of OOPSLA, pages 499-514. ACM, 2007.
50. F. Strocco. A Java dialect oriented to fine-grained software reuse. Bachelor thesis, Dip. di Informatica, Università di Torino, 2009.
51. D. Ungar, C. Chambers, B.-W. Chang, and U. Hölzle. Organizing Programs Without Classes. Lisp and Symbolic Computation, 4(3):223-242, July 1991.