Featherweight jigsaw: A minimal core calculus for modular composition of classes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5653 LNCS, Issue , 2009, Pages 244-268

  Lagorio, Giovanni ^a   Servetto, Marco ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC BUILDING BLOCK; CLASS-BASED LANGUAGES; COMPOSITION MECHANISMS; CORE CALCULUS; DIFFERENT MECHANISMS; FEATHERWEIGHT JAVA; LOOKUPS; MIXIN CLASS; MODULAR COMPOSITION; SOFTWARE COMPOSITION;

CALCULATIONS; LINGUISTICS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

JAVA PROGRAMMING LANGUAGE;

EID: 69949115582     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03013-0_12     Document Type: Conference Paper

References (21)

1. Ancona, D., Lagorio, G., Zucca, E.: Jam - designing a Java extension with mixins. ACM Transactions on Programming Languages and Systems 25(5), 641-712 (2003)
2. Ancona, D., Zucca, E.: Overriding operators in a mixin-based framework. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292. Springer, Heidelberg (1997)
3. Ancona, D., Zucca, E.: A calculus of module systems. Journ. of Functional Programming 12(2), 91-132 (2002)
4. Bergel, A., Ducasse, S., Nierstrasz, O., Wuyts, R.: Stateful traits. In: De Meuter, W. (ed.) ISC 2006. LNCS, vol. 4406, pp. 66-90. Springer, Heidelberg (2007)
5. Bergel, A., Ducasse, S., Nierstrasz, O., Wuyts, R.: Stateful traits and their formalization. Comput. Lang. Syst. Struct. 34(2-3), 83-108 (2008)
6. Bono, V., Damiani, F., Giachino, E.: Separating type, behavior, and state to achieve very fine-grained reuse. In: 9th Intl. Workshop on Formal Techniques for Java-like Programs (2007)
7. Bono, V., Damiani, F., Giachino, E.: On traits and types in a Java-like setting. In: TCS 2008 - IFIP Int. Conf. on Theoretical Computer Science. Springer, Heidelberg (2008)
8. Bracha, G.: The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Comp. Sci., Univ. of Utah (1992)
9. Duggan, D., Sourelis, C.: Mixin modules. In: Intl. Conf. on Functional Programming 1996. ACM Press, New York (1996)
10. Fisher, K., Reppy, J.: A typed calculus of traits. In: FOOL 2004 - Intl. Workshop on Foundations of Object Oriented Languages (2004)
11. Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: ACM Symp. on Principles of Programming Languages 1998. ACM Press, New York (1998)
12. Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, Reading (1995)
13. Hirschowitz, T., Leroy, X.: Mixin modules in a call-by-value setting. In: Le Métayer, D. (ed.) ESOP 2002. LNCS, vol. 2305, pp. 6-20. Springer, Heidelberg (2002)
14. Hirschowitz, T., Leroy, X., Wells, J.B.: Call-by-value mixin modules. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 64-78. Springer, Heidelberg (2004)
15. Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems 23(3), 396-450 (2001)
16. Lagorio, G., Servetto, M., Zucca, E.: Featherweight Jigsaw - a minimal core calculus for modular composition of classes. Technical report, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova (December 2008) (Full version)
17. Lagorio, G., Servetto, M., Zucca, E.: Flattening versus direct semantics for Feather-weight Jigsaw. In: FOOL 2009 - Intl. Workshop on Foundations of Object Oriented Languages (2009)
18. Leavens, G.T.: Tutorial on JML, the Java modeling language. In: Automated Software Engineering (ASE 2007). ACM Press, New York (2007)
19. Liquori, L., Spiwack, A.: FeatherTrait: A modest extension of Featherweight Java. ACM Transactions on Programming Languages and Systems 30(2) (2008)
20. Schärli, N., Ducasse, S., Nierstrasz, O., Black, A.P.: Traits: Composable units of behaviour. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743. Springer, Heidelberg (2003)
21. Wells, J.B., Vestergaard, R.: Confluent equational reasoning for linking with firstclass primitive modules. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol. 1782, p. 412. Springer, Heidelberg (2000)