Metaprogramming with traits

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

Volumn 4609 LNCS, Issue , 2007, Pages 373-398

  Reppy, John ^a   Turon, Aaron ^a  

^a UNIVERSITY OF CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; DATABASE SYSTEMS; JAVA PROGRAMMING LANGUAGE; SEMANTICS;

BOILERPLATE CODE; METAPROGRAMMING; NOMINAL SUBTYPING;

OBJECT ORIENTED PROGRAMMING;

EID: 38149101793     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73589-2_18     Document Type: Conference Paper

References (28)

1. Ancona, D., Damiani, F., Drossopoulou, S., Zueca, E.: Polymorphic bytecode: compositional compilation for Java-like languages. In: POPL'05, pp. 26-37 (2005)
2. Ancona, D., Lagorio, G., Zueca, E.: Jam-designing a Java extension with mixins. TOPLAS 25(5), 641-712 (2003)
3. Bono, V., Bugliesi, M., Liquori, L.: A Lambda Calculus of Incomplete Objects. In: MFCS, pp. 218-229 (1996)
4. Bracha, G.: The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. PhD thesis, University of Utah (March 1992)
5. Bracha, G., Cook, W.: Mixin-based inheritance. In: ECOOP'90, October 1990, pp. 303-311. ACM Press, New York (1990)
6. Czarnecki, K., Eisenecker, U.W.: Generative programming: methods, tools, and applications. ACM Press/Addison-Wesley Publishing Co, New York (2000)
7. Draheim, D., Lutteroth, C., Weber, G.: An Analytical Comparison of Generative Programming Technologies. Technical Report B-04-02, Institute of Computer Science, Freie Universität Berlin (January 2004)
8. Draheim, D., Lutteroth, C., Weber, G.: A Type System for Reflective Program Generators. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 327-341. Springer, Heidelberg (2005)
9. Ducasse, S., Nierstrasz, O., Schärli, N., Wuyts, R., Black, A.: Traits: A Mechanism for fine-grained Reuse. TOPLAS 28(2), 331-388 (2006)
10. Fähndrich, M., Carbin, M., Larus, J.R.: Reflective program generation with patterns. In: GPCE'06, pp. 275-284. ACM Press, New York, USA (2006)
11. Fisher, K., Reppy, J.: Statically typed traits. Technical Report TR-2003-13, Dept. of Computer Science, U. of Chicago, Chicago, IL (December 2003)
12. Fisher, K., Reppy, J.: A typed calculus of traits. In: FOOL11 (January 2004)
13. Fisher, K., Reppy, J.H.: Extending Moby with Inheritance-Based Subtyping. In: ECOOP'00, pp. 83-107 (2000)
14. Flatt, M., Findler, R.B., Felleisen, M.: Scheme with Classes, Mixins, and Traits. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol. 4279, Springer, Heidelberg (2006)
15. Hofmann, M.: Syntax and Semantics of Dependent Types. In: Semantics and Logics of Computation, vol. 14, pp. 79-130. Cambridge University Press, Cambridge (1997)
16. Huang, S.S., Zook, D., Smaragdakis, Y.: Statically Safe Program Generation with SafeGen. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 309-326. Springer, Heidelberg (2005)
17. Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. TOPLAS 23(3), 396-450 (2001)
18. Kiczales, G., des Rivieres, J., Bobrow, D.G.: The art of metaobject protocol. MIT Press, Cambridge, MA, USA (1991)
19. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220-242. Springer, Heidelberg (1997)
20. Liquori, L., Spiwack, A.: Feathertrait: A modest extension of featherweight java. TOPLAS (to appear, 2007)
21. Malayeri, D., Aldrich, J.: Combining Structural Subtyping and External Dispatch. In: FOOL/WOOD'07 (2007)
22. Nierstrasz, O., Ducasse, S., Schärli, N.: Flattening Traits. Journal of Object Technology 5(4), 129-148 (2006)
23. Odersky, M., Altherr, P., Cremet, V., Dragos, I., Dubochet, G., Emir, B., McDirmid, S., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., Spoon, L., Zenger, M.: An overview of the Scala programming language. 2nd edn. Technical Report LAMP-REPORT-2006-001, EPFL, Lausanne, Switzerland (May 2006)
24. Quitslund, P.J.: Java traits -improving opportunities for reuse. Technical Report CSE 04-005, OGI School of Science & Engineering (September 2004)
25. Reppy, J., Turon, A.: A foundation for trait-based metaprogramming. In: FOOL/WOOD'06 (2006)
26. Riecke, J.G., Stone, C.A.: Privacy via subsumption. INC (A preliminary version appeared in FOOL5) 172(1), 2-28 (2002)
27. Smith, C., Drossopoulou, S.: Chai: Traits for Java-Like Languages. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 453-478. Springer, Heidelberg (2005)
28. Turon, A.: Metaprogramming with Traits. Honors thesis, forthcoming as a University of Chicago technical report (2007)