Domain-specific languages and program generation with meta-AspectJ

ACM Transactions on Software Engineering and Methodology

Volumn 18, Issue 2, 2008, Pages

  Huang, Shan Shan ^a,c   Zook, David ^a,c   Smaragdakis, Yannis ^b,d  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF OREGON   (United States)

^c Georgia Institute of Technology   (United States)

^d The Manning College of Information and Computer Sciences   (United States)

Author keywords

Domain specific languages; Language extensions; Metaprogramming; Program synthesis; Program transformation; Program verification

Indexed keywords

DOMAIN-SPECIFIC LANGUAGES; LANGUAGE EXTENSIONS; METAPROGRAMMING; PROGRAM SYNTHESIS; PROGRAM TRANSFORMATION; PROGRAM VERIFICATION;

APPLICATION PROGRAMMING INTERFACES (API); CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; GRAPHICAL USER INTERFACES; LINGUISTICS; QUERY LANGUAGES; SYNTACTICS; XML;

JAVA PROGRAMMING LANGUAGE;

EID: 56149111605     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1416563.1416566     Document Type: Article

References (35)

1. BACHRACH, J. AND PLAYFORD, K. 2001. The Java syntactic extender (JSE). In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA). ACM Press, New York, NY, 31-42.
2. BAKER, J. AND HSIEH, W. C. 2002. Maya: multiple-dispatch syntax extension in Java. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI). ACM Press, New York, NY, 270-281.
3. BATORY, D., LOFASO, B., AND SMARAGDAKIS, Y. 1998. JTS: Tools for implementing domain-specific languages. In Proceedings of the IEEE International Conference on Software Reuse (ICSR) (Victoria, B.C., Canada). 143-153.
4. BATORY, D., SARVELA, J. N., AND RAUSCHMAYER, A. 2003. Scaling step-wise refinement. In Proceedings of the IEEE International Conference on Software Engineering (ICSE). IEEE Computer Society Press, Los Alamitos, CA, 187-197.
5. BRACHA, G. AND COOK, W. 1990. Mixin-based inheritance. In Proceedings of the European Conference on Object-Oriented Programming and Object-Oriented Programming Systems, Languages, and Applications (OOPSLA/ECOOP). ACM Press, New York, NY, 303-311.
6. BRAVENBOER, M., VERMAAS, R., VINJU, J., AND VISSER, E. 2005. Generalized type-based disambiguation of meta programs with concrete object syntax. In Generative Programming and Component Engineering (GPCE) Conference, R. Glück and M. Lowry, Eds. Lecture Notes in Computer Science, vol. 3676. Springer, Berlin, Germany, 157-172.
7. BRICHAU, J., MENS, K., AND VOLDER, K. D. 2002. Building composable aspect-specific languages. In Generative Programming and Component Engineering (GPCE) Conference. Lecture Notes in Computer Science, vol. 2487. Springer, Berlin, Germany.
8. BRYANT, A., CATTON, A., DE VOLDER, K., AND MURPHY, G. C. 2002. Explicit programming. In Proceedings of the Conference on Aspect-Oriented Software Development (AOSD). ACM Press, New York, NY, 10-18.
9. CALCAGNO, C., TAHA, W., HUANG, L., AND LEROY, X. 2003. Implementing multistage languages using ASTs, gensym, and reflection. In Generative Programming and Component Engineering (GPCE) Conference. Lecture Notes in Computer Science, vol. 2830. Springer, Berlin, Germany, 57-76.
10. CHIBA, S. 1995. Ametaobject protocol for C++. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA). SIGPLANNot. 30, 10, 285-299.
11. CHIBA, S. AND NISHIZAWA, M. 2003. An easy-to-use toolkit for efficient Java bytecode translators. In Generative Programming and Component Engineering (GPCE) Conference. Springer-Verlag, New York, NY, 364-376.
12. CLINGER, W. 1991. Macros that work. In Proceedings of the Conference on Principles of Programming Languages (POPL). ACM Press, New York, NY, 155-162.
13. CORDY, J. R., HALPERN-HAMU, C. D., AND PROMISLOW, E. 1991. TXL: A rapid prototyping system for programming language dialects. Comput. Lang. 16, 1, 97-107.
14. DUCASSE, S., NIERSTRASZ, O., SCHÄRLI, N., WUYTS, R., AND BLACK, A. P. 2006. Traits: A mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst. 28, 2, 331-388.
15. GOSLING, J., JOY, B., STEELE, G., AND BRACHA, G. 2005. The Java Language Specification, 3rd ed. Addison-Wesley, Boston, MA.
16. GUY L. STEELE, J. 1990. Common LISP: The language, 2nd ed. Digital Press, Newton, MA.
17. HUANG, S. S. AND SMARAGDAKIS, Y. 2006. Easy language extension with Meta-AspectJ. In Proceedings of the International Conference on Software Engineering, Emerging Results. 865-868.
18. HUANG, S. S., ZOOK, D., AND SMARAGDAKIS, Y. 2005. Statically safe program generation with SafeGen. In Proceedings of the Generative Programming and Component Engineering Conference. 309-326.
19. KICZALES, G., HILSDALE, E., HUGUNIN, J., KERSTEN, M., PALM, J., AND GRISWOLD, W. 2001. Getting started with AspectJ. Commun. ACM 44, 10, 59-65.
20. KOHLBECKER, E., FRIEDMAN, D. P., FELLEISEN, M., AND DUBA, B. 1986. Hygienic macro expansion. In Proceedings of the 1986 ACM Conference on LISP and Functional Programming. ACM Press, New York, NY, 151-161.
21. LOHMANN, D., BLASCHKE, G., AND SPINCZYK, O. 2004. Generic advice: On the combination of AOP with generative programming in AspectC++. In Generative Programming and Component Engineering (GPCE) Conference, G. Karsai and E. Visser, Eds. Lecture Notes in Computer Science, vol. 3286. Springer Verlag, Berlin, Germany, 55-74.
22. MOHNEN, M. 2002. Interfaces with default implementations in Java. In Principles and Practice of Programming. National University of Ireland, Maynooth, County Kildare, Ireland, Ireland, 35-40.
23. PARR, T. J. AND QUONG, R. W. 1995. ANTLR: A predicated LL(k) parser generator. Softw.-Pract. Exp. 25, 7 (July), 789-810.
24. RAJAN, H. AND SULLIVAN, K. 2003. Eos: Instance-level aspects for integrated system design. SIGSOFT Softw. Eng. Notes 28, 5, 297-306.
25. SHEARD, T. AND JONES, S. P. 2002. Template metaprogramming for Haskell. In Proceedings of the ACMSIGPLAN Workshop on Haskell. ACM Press, New York, NY, 1-16.
26. SHONLE, M., LIEBERHERR, K., AND SHAH, A. 2003. Xaspects: An extensible system for domain specific aspect languages. In Proceedings of OOPSLA'2003, Domain-Driven Development Track.
27. SMARAGDAKIS, Y. 2004. A personal outlook on generator research. In Domain-Specific Program Generation, C. Lengauer, D. Batory, C. Consel, and M. Odersky, Eds. Lecture Notes in Computer Science, vol. 3016, Springer-Verlag, Berlin, Germany.
28. SMARAGDAKIS, Y. AND BATORY, D. 1999. Scoping constructs for program generators. In Proceedings of the Generative and Component-Based Software Engineering Symposium (GCSE). Earlier version in Tech. rep. UTCS-TR-96-37, University of Texas at Austin, Austin, TX.
29. SOARES, S., LAUREANO, E., AND BORBA, P. 2002. Implementing distribution and persistence aspects with AspectJ. In Proceedings of the Conferences on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA). ACM Press, New York, NY, 174-190.
30. TAHA, W. AND SHEARD, T. 1997. Multi-stage programming with explicit annotations. In Proceedings of the Conference on Partial Evaluation and Semantics-Based Program Manipulation (Amsterdam, The Netherlands, June). ACM Press, New York, NY, 203-217.
31. TILEVICH, E., URBANSKI, S., SMARAGDAKIS, Y., AND FLEURY, M. 2003. Aspectizing server-side distribution. In Proceedings of the Conference on Automated Software Engineering Conference. IEEE Computer Society Press, Los Alamitos, CA.
32. VISSER, E. 2002. Metaprogramming with concrete object syntax. In Generative Programming and Component Engineering (GPCE) Conference. Lecture Notes in Computer Science, vol. 2487. Springer, Berlin, Germany, 299-315.
33. VOLDER, K. D. 1998. Type-oriented logic meta programming. Ph.D. dissertation. Vrije Universiteit Brussel, Brussels, Belgium.
34. WEISE, D. AND CREW, R. F. 1993. Programmable syntax macros. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI). 156-165.
35. ZOOK, D., HUANG, S. S., AND SMARAGDAKIS, Y. 2004. Generating AspectJ programs with metaAspectJ. In Generative Programming and Component Engineering (GPCE) Conference. Springer-Verlag, Berlin, Germany, 1-18.