Domain specific language implementation via compile-time meta-programming

ACM Transactions on Programming Languages and Systems

Volumn 30, Issue 6, 2008, Pages

  Tratt, Laurence ^a  

^a BOURNEMOUTH UNIVERSITY   (United Kingdom)

Author keywords

Compile time meta programming; Domain specific languages; Syntax extension

Indexed keywords

OBJECT ORIENTED PROGRAMMING; PROBLEM ORIENTED LANGUAGES;

COMPILE-TIME META-PROGRAMMING; DEVELOPMENT COSTS; DOMAIN SPECIFIC LANGUAGES; IMPLEMENTATION COST; SOFTWARE DEVELOPER; SYNTAX EXTENSION;

DIGITAL SUBSCRIBER LINES;

EID: 56349147876     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1391956.1391958     Document Type: Article

References (36)

1. ABADI, M. ANDCARDELLI, L. 1996. A Theory of Objects. Springer-Verlag, New York.
2. AYCOCK, J. ANDHORSPOOL, R. N. 2002. Practical Earley parsing. The Computer Journal 45, 6, 620-630.
3. BACHRACH, J. ANDPLAYFORD, K. 1999. D-expressions: Lisp power, Dylan style, http://www.ai.mit.edu/people/jrb/ Projects/dexprs.pdf Accessed Nov 22 2006.
4. BACHRACH, J. ANDPLAYFORD, K. 2001. The Java syntactic extender (JSE). In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'99) (Denver, CO). ACM, New York, 31-42.
5. BRABRAND, C. ANDSCHWARTZBACH, M. 2000. Growing languages with metamorphic syntax macros. In Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation. SIGPLAN. ACM, New York.
6. BRAVENBOER, M. AND VISSER, E. 2004. Concrete syntax for objects. Domain-specific language embedding and assimilation without restrictions. In Proceedings of the 19th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA04) (Vancouver, BC, Canada). ACM, New York.
7. COINTE, P. 1987. Metaclasses are first class: The ObjVLisp model. In Proceedings of the ACM Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA87). ACM, New York, 156-162.
8. CORDY, J. R. 2004. TXL - A language for programming language tools and applications. In Proceedings of the ACM 4th International Workshop on Language Descriptions, Tools and Applications. ACM, New York.
9. CZARNECKI, K., O'DONNELL, J., STRIEGNITZ, J., ANDTAHA, W. 2004. DSL implementation in MetaO-Caml, Template Haskell, and C++. 3016, 50-71.
10. DYBVIG, R. K., HIEB, R., ANDBRUGGEMAN, C. 1992. Syntactic abstraction in scheme. In Lisp and Symb. Comput. 5. 295-326.
11. EARLEY, J. 1970. An efficient context-free parsing algorithm. Commun. ACM 13, 2 (Feb.).
12. FLEUTOT, F. ANDTRATT, L. 2007. Contrasting compile-time meta-programming in Metalua and Converge. In Proceedings of the Workshop on Dynamic Languages and Applications.
13. GOLDBERG, A. ANDROBSON, D. 1989. Smalltalk-80: The Language. Addison-Wesley, Reading, MA.
14. GRIMM, R. 2005. Systems need languages need systems! 2nd ECOOP Workshop on Programming Languages and Operating Systems.
15. GRISWOLD, R. E. ANDGRISWOLD, M. T. 1996. The Icon Programming Language, Third ed. Peer-to-Peer Communications.
16. HUDAK, R 1998. Modular domain specific languages and tools. In Proceedings of the 5th International Conference on Software Reuse. 134-142.
17. KOHLBECKER, E., FRIEDMAN, D. P., FELLEISEN, M., ANDDUBA, B. 1986. Hygienic macro expansion. In Proceedings of the Symposium on Lisp and Functional Programming. ACM, New York, 151-161.
18. MERNIK, M., HEERING, J., ANDSLOANE, A. M. 2003. When and how to develop domain-specific languages. Tech. rep., Centrum voor Wiskundeen Informatica. Dec.
19. SCHRÖER, F. W. 2005. The ACCENT Grammar Language, http://accent.compilertools.net/language.html Accessed Jan 25 2005.
20. SEEFRIED, S., CHAKRAVARTY, M., ANDKELLER, G. 2004. Optimising embedded DSLs using template Haskell. In Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (Vancouver, BC Canada). Springer-Verlag, New York, 186-205.
21. SHEARD, T. 1998. Using MetaML: A staged programming language. Adv. Funct. Prog., 207-239.
22. SHEARD, T. 2003. Accomplishments and research challenges in meta-programming. Proceedings of the Workshop on Semantics, Applications and Implementation of Program Generation (SAIG '01) 2196, 2-44.
23. SHEARD, T., EL ABIDINE BENAISSA, Z., ANDPASALIC, E. 1999. DSL implementation using staging and monads. In Proceedings of the 2nd Conference on Domain Specific Languages. SIGPLAN, vol. 35, ACM, New York, 81-94.
24. SHEARD, T. ANDJONES, S. R 2002. Template meta-programming for Haskell. In Proceedings of the Haskell Workshop 2002. ACM, New York.
25. SKALSKI, K., MOSKAL, M., ANDOLSZTA, R 2004. Meta-programming in Nemerle. http://nemerle.org/metaprogramming.pdf. Accessed Nov 5 2007.
26. STEELE, JR, G. L. 1999. Growing a language. Higher-Order and Symbolic Computation 12, 3 (Oct.), 221-236.
27. TRATT, L. 2005a. Compile-time meta-programming in a dynamically typed OO language. In Proceedings of the Dynamic Languages Symposium. 49-64.
28. TRATT, L. 2005b. The Converge programming language. Tech. Rep. TR-05-01, Department of Computer Science, King's College London.
29. TRATT, L. 2005C. The MT model transformation language. Tech. Rep. TR-05-02, Department of Computer Science, King's College London. May.
30. TRATT, L. 2007. Converge Reference Manual, http://www.convergepl.org/documentation/ Accessed June 3 2008.
31. VAN DEN BRAND, M. G. J., HEERING, J., KLINT, P., ANDOLIVIER, R A. 2002. Compiling language definitions: the asf+sdf compiler. ACM Trans. Program. Lang. Syst. 24, 4, 334-368.
32. VAN DEURSEN, A., KLINT, P., ANDVISSER, J. 2000. Domain-specific languages: An annotated bibliography. SIGPLANNotices, 35, 26-36.
33. VAN ROSSUM, G. 2003. Python 2.3 reference manual. http://www.python.org/doc/2.3/ref/ref.html Accessed June 3 2008.
34. WALKER, K. 1994. The run-time implementation language for Icon. Tech. Rep. IPD261, University of Arizona.
35. WEISE, D. ANDCREW, R. 1993. Programmable syntax macros. In Proceedings of the SIGPLAN. ACM, New York, 156-165.
36. WILSON, G. V. 2005. Extensible programming for the 21st century. Queue 2, 9 (Jan.), 48-57.