Expressive and safe static reflection with morphJ

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2008, Pages 79-89

  Huang, Shan Shan ^a   Smaragdakis, Yannis ^b  

^a Georgia Institute of Technology

^b UNIVERSITY OF OREGON   (United States)

Author keywords

Aspect oriented programming; Class morphing; Language extensions; Meta programming; Object oriented programming; Structural abstraction

Indexed keywords

ASPECT-ORIENTED PROGRAMMING; CLASS MORPHING; LANGUAGE EXTENSIONS; META-PROGRAMMING; STRUCTURAL ABSTRACTION;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; COMPUTERS; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; OBJECT ORIENTED PROGRAMMING; OBJECT RECOGNITION; QUERY LANGUAGES; REFLECTION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 57349192850     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1375581.1375592     Document Type: Conference Paper

References (25)

1. E. Allen, J. Bannet, and R. Cartwright. A first-class approach to genericity. In Proc. of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2003.
2. Apache Software Foundation. Byte-code engineering library. " http://jakarta.apache.org/bcel/manual.htmV'. Accessed Mar/08.
3. J. Bachrach and K. Playford. The Java syntactic extender (JSE). In Proc. of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2001.
4. J. Baker and W. C. Hsieh. Maya: multiple-dispatch syntax extension in Java. In Proc. of Programming Language Design and Implementation (PLDI), 2002.
5. C. Calcagno, W. Taha, L. Huang, and X. Leroy. Implementing multi-stage languages using ASTs, gensym, and reflection. In Proc. of Generative Programming and Component Engineering (GPCE), 2003.
6. D. Draheim, C. Lutteroth, and G. Weber. A type system for reflective program generators. In Proc. of Generative Programming and Component Engineering (GPCE), 2005.
7. M. Fähndrich, M. Carbin, and J. R. Larus. Reflective program generation with patterns. In Proc. of Generative Programming and Component Engineering (GPCE), 2006.
8. E. Gamma, R. Helm, and R. Johnson. Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, 1995.
9. M. Herlihy. SXM: C# Software Transactional Memory. "http://www.cs.brown.edu/mph/SXM/README.doc". Accessed Mar.'08.
10. M. Herlihy, V. Luchangco, and M. Moir. A flexible framework for implementing software transactional memory. In OOPSLA '06: Proceedings of the 21 st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, 2006.
11. S. S. Huang and Y. Smaragdakis. Easy language extension with Meta-Aspect J. In Proc. of International Conference on Software Engineering (ICSE), 2006.
12. S. S. Huang and Y. Smaragdakis. Morphing with nested patterns: Making generic classes highly configurable. Technical report, 2007. http://www.cc.gatech.edu/̃ssh/mjnested-tr.pdf.
13. S. S. Huang, D. Zook, and Y. Smaragdakis. Statically safe program generation with Safe Gen. In Proc. of Generative Programming and Component Engineering (GPCE), 2005.
14. S. S. Huang, D. Zook, and Y. Smaragdakis. Morphing: Safely shaping a class in the image of others. In Proc. of the European Conference on Object-Oriented Programming (ECOOP), 2007.
15. A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for Java and gj. ACM Trans. Program. Lang. Syst., 23(3): 396-450, 2001.
16. P. Jansson and J. Jeuring. Poly P - a polytypic programming language extension. In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1997.
17. G. Kiczales, J. des Rivieres, and D. G. Bobrow. The Art of the Metaobject Protocol. MIT Press, 1991.
18. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proc. of European Conf. on Object-Oriented Programming (ECOOP), 1997.
19. R. Lämmel and S. P. Jones. Scrap your boilerplate: a practical design pattern for generic programming. In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, 2003.
20. M. Mohnen. Interfaces with default implementations in Java. In Proc. of Principles and Practice of Programming, 2002.
21. J. Reppy and A. Turon. Metaprogramming with traits. In ECOOP '07: Proceedings of the European Conference on Object-Oriented Programming, 2007.
22. T. Sheard and S. P. Jones. Template meta-programming for Haskell. In Proc. of the ACM SIGPLAN workshop on Haskell, 2002.
23. W. Taha and T. Sheard. Multi-stage programming with explicit annotations. In Proc. of Partial Evaluation and semantics-based Program Manipulation (PEPM), 1997.
24. E. Visser. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in Stratego/XT 0.9. In Domain-Specific Program Generation. Springer-Verlag, 2004. LNCS 3016.
25. S. Weirich and L. Huang. A design for type-directed Java. In Workshop on Object-Oriented Developments (WOOD), 2004.