Program generators and the tools to make them

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2004, Pages 92-100

  Smaragdakis, Yannis ^a   Huang, Shan Shan ^a   Zook, David ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Meta programming; Program generators; Safety guarantees

Indexed keywords

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; FUNCTIONS; METADATA; MULTITASKING; PROBLEM SOLVING; PRODUCT DESIGN; PROGRAM COMPILERS;

CONTROLLED ITERATION LANGUAGES; DOMAIN-SPECIFIC LANGUAGES (DSLS); META-PROGRAMMING; SAFETY GUARANTEES;

AUTOMATIC PROGRAMMING;

EID: 11244353163     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1014007.1014017     Document Type: Conference Paper

References (16)

1. D. Batory, B. Lofaso, and Y. Smaragdakis. JTS: tools for implementing domain-specific languages. In Proceedings Fifth International Conference on Software Reuse, pages 143-153, Victoria, BC, Canada, 1998. IEEE.
2. C. Calcagno, W. Taha, L. Huang, and X. Leroy. Implementing multi-stage languages using ASTs, gensym, and reflection. In Generative Programming and Component Engineering (GPCE) Conference, LNCS 2830, pages 57-76. Springer, 2003.
3. S. Chiba. A metaobject protocol for C++. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95), SIGPLAN Notices 30(10), pages 285-299, Austin, Texas, USA, Oct. 1995.
4. W. Clinger. Macros that work. In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 155-162. ACM Press, 1991.
5. N. D. Jones and A. J. Glenstrup. Program generation, termination, and binding-time analysis. In Generative Programming and Component Engineering (GPCE) Conference, LNCS 2487, pages 1-31. Springer, 2002.
6. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. Getting started with AspectJ. Communications of the ACM, 44(10):59-65, 2001.
7. E. Kohlbecker, D. P. Friedman, M. Felleisen, and B. Duba. Hygienic macro expansion. In Proceedings of the 1986 ACM conference on LISP and functional programming, pages 151-161. ACM Press, 1986.
8. Y. Smaragdakis and D. Batory. Scoping constructs for program generators. In Generative and Component-Based Software Engineering Symposium (GCSE), 1999. Earlier version in Technical Report UTCS-TR-96-37.
9. Y. Smaragdakis and D. Batory. Application generators. Encyclopedia of Electrical and Electronics Engineering, 2000. J.G. Webster (ed.), John Wiley and Sons.
10. S. Soares, E. Laureano, and P. Borba. Implementing distribution and persistence aspects with AspectJ. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'02), pages 174-190. ACM Press, 2002.
11. A. Stevens et al. XDoclet Web site, http://xdoclet.sourceforge.net/.
12. W. Taha and T. Sheard. Multi-stage programming with explicit annotations. In Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997, pages 203-217. New York: ACM, 1997.
13. E. Tilevich, S. Urbanski, Y. Smaragdakis, and M. Fleury. Aspectizing server-side distribution. In Proceedings of the Automated Software Engineering (ASE) Conference. IEEE Press, October 2003.
14. E. Visser. Meta-programming with concrete object syntax. In Generative Programming and Component Engineering (GPCE) Conference, LNCS 2487, pages 299-315. Springer, 2002.
15. D. Weise and R. F. Crew. Programmable syntax macros. In SIGPLAN Conference on Programming Language Design and Implementation, pages 156-165, 1993.
16. D. Zook, S. S. Huang, and Y. Smaragdakis. Generating AspectJ programs with Meta-AspectJ. In Proceedings of the 2004 Generative Progamming and Component Engineering (GPCE) Conference. Springer-Verlag, to appear.