DSL implementation in MetaOCaml, Template Haskell, and C++

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

Volumn 3016, Issue , 2004, Pages 51-72

  Czarnecki, Krzysztof ^a   O’Donnell, John T ^b   Striegnitz, Jörg ^c   Taha, Walid ^d  

^a UNIVERSITY OF WATERLOO   (Canada)

^b UNIVERSITY OF GLASGOW   (United Kingdom)

^c FORSCHUNGSZENTRUM JÜLICH   (Germany)

^d RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL SUBSCRIBER LINES; EMBEDDINGS; INDUSTRIAL RESEARCH; PROBLEM ORIENTED LANGUAGES;

DOMAIN SPECIFIC LANGUAGES; GENERAL PURPOSE LANGUAGES; GENERATIVE PROGRAMMING; INDUSTRIAL USE; TEMPLATE HASKELL;

C++ (PROGRAMMING LANGUAGE);

EID: 84947255563     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25935-0_4     Document Type: Conference Paper

References (58)

1. Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. Lava: Hardware design in Haskell. ACM SIGPLAN Notices, 34(1):174-184, January 1999.
2. Cristiano Calcagno, Walid Taha, Liwen Huang, and Xavier Leroy. Implementing multi-stage languages using asts, gensym, and reflection. In Frank Pfenning and Yannis Smaragdakis, editors, Generative Programming and Component Engineering (GPCE), Lecture Notes in Computer Science. Springer-Verlag, 2003.
3. Rohit Chandra, Leonardo Dagum, and Dave Kohr. Parallel Programming in OpenMP++. Morgan Kaufmann, 2000.
4. Antony Courtney. Frappé: Functional reactive programming in Java. In Proceedings of Symposium on Practical Aspects of Declarative Languages. ACM, 2001.
5. K. Czarnecki and U. W. Eisenecker. Synthesizing objects. In Proceedings of ECOOP’99, LNCS 1628, pages 18-42. Springer-Verlag, 1999.
6. K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000.
7. K. Czarnecki and U. W. Eisenecker. Named parameters for configuration generators. http://www.generative-programming.org/namedparams/, 2000.
8. K. Czarnecki, U. W. Eisenecker, R. Glück, D. Vandevoorde, and T. Veldhuizen. Generative programming and active libraries (extended abstract). In M. Jazayeri, D. Musser, and R. Loos, editors, Generic Programming. Proceedings, volume 1766 of LNCS, pages 25-39. Springer-Verlag, 2000.
9. Simon Peyton Jones (ed.). Haskell 98 language and libraries. Journal of Functional Programming, 13(1):1-255, January 2003.
10. Conal Elliott, Sigbjørn Finne, and Oege de Moore. Compiling embedded languages. In [48], pages 9-27, 2000.
11. Conal Elliott and Paul Hudak. Functional reactive animation. In International Conference on Functional Programming, pages 163-173, June 1997.
12. Sigbjorn Finne and Simon L. Peyton Jones. Pictures: A simple structured graphics model. In Proceedings of Glasgow Functional Programming Workshop, July 1995.
13. Yhoshihiko Futamura. Partial evaluation of computation: An approach to a compiler-compiler. Systems, Computers, Controls, 2(5):45-50, 1971.
14. Steven Ganz, Amr Sabry, and Walid Taha. Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML. In the International Conference on Functional Programming (ICFP '01), Florence, Italy, September 2001. ACM.
15. Aleksey Gurtovoy. Boost MPL Library (Template metaprogramming framework). http://www.boost.org/libs/mpl/doc/.
16. K. Hammond, R. Loogen, and J. Berhold. Automatic Skeletons in Template Haskell. In Proceedings of 2003 Workshop on High Level Parallel Programming, Paris, France, June 2003.
17. Scott Haney, James Crotinger, Steve Karmesin, and Stephen Smith. Pete: The portable expression template engine. Dr. Dobbs Journal, October 1999.
18. P. Hudak, T. Makucevich, S. Gadde, and B. Whong. Haskore music notation - an algebra of music. Journal of Functional Programming, 6(3):465-483, May 1996.
19. Paul Hudak. Building domain specific embedded languages. ACM Computing Surveys, 28A: (electronic), December 1996.
20. Paul Hudak. The Haskell School of Expression-Learning Functional Programming through Multimedia. Cambridge University Press, New York, 2000.
21. J. Hughes. Pretty-printing: an exercise in functional programming. In R. S. Bird, C. C. Morgan, and J. C. P. Woodcock, editors, Mathematics of Program Construction; Second International Conference; Proceedings, pages 11-13, Berlin, Germany, 1993. Springer-Verlag.
22. G. Hutton. Combinator parsing. Journal of Functional Programming, 1993.
23. ISO/IEC. Programming languages-C++. ISO/IEC 14882 Standard, October 2003.
24. Jaakko Järvi and Gary Powell. The lambda library: Lambda abstraction in C++. In Second Workshop on C++ Template Programming, Tampa Bay, Florida, USA, October 2001.
25. Neil D. Jones. What not to do when writing an interpreter for specialisation. In Olivier Danvy, Robert Glück, and Peter Thiemann, editors, Partial Evaluation, volume 1110 of Lecture Notes in Computer Science, pages 216-237. Springer-Verlag, 1996.
26. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
27. Shiram Krishnamurti, Matthias Felleisen, and Daniel P. Friedman. Synthesizing object-oriented and functional design to promote re-use. In Eric Jul, editor, European Conference in Object-Oriented Programming, volume 1445 of Lecture Notes in Computer Science, pages 91-113. Springer Verlag, 1998.
28. Ian Lynagh. Template Haskell: A report from the field. http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/papers/, May 2003.
29. Ian Lynagh. Unrolling and simplifying expressions with Template Haskell. http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/papers/, May 2003.
30. John Maddock and Steve Cleary et al. Boost type traits library. http://www.boost.org/libs/typetraits/.
31. John Matthews, Byron Cook, and John Launchbury. Microprocessor specification in Hawk. In Proceedings of the 1998 International Conference on Computer Languages, pages 90-101. IEEE Computer Society Press, 1998.
32. M. Mauny. Parsers and printers as stream destructors embedded in functional languages. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, pages 360-370. ACM/IFIP, 1989.
33. MetaOCaml: A compiled, type-safe multi-stage programming language. Available online from http://www.metaocaml.org/, 2003.
34. Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
35. N. C. Myers. Traits: a new and useful template technique. C++ Report, 7(5), June 1995.
36. John O’Donnell. Overview of Hydra: A concurrent language for synchronous digital circuit design. In Proceedings 16th International Parallel & Distributed Processing Symposium, page 234 (abstract). IEEE Computer Society, April 2002. Workshop on Parallel and Distribued Scientific and Engineering Computing with Applications-PDSECA.
37. Chris Okasaki. Even higher-order functions for parsing or why would anyone ever want to use a sixth-order function? Journal of Functional Programming, 8(2):195-199, March 1998.
38. Oregon Graduate Institute Technical Reports. P.O. Box 91000, Portland, OR 97291-1000, USA. Available online from ftp://cse.ogi.edu/pub/tech-reports/README.html.
39. Emir Pašalić, Walid Taha, and Tim Sheard. Tagless staged interpreters for typed languages. In the International Conference on Functional Programming (ICFP '02), Pittsburgh, USA, October 2002. ACM.
40. J. Peterson, G. Hager, and P. Hudak. A language for declarative robotic programming. In Proceedings of IEEE Conf. on Robotics and Automation, 1999.
41. Simon Peyton Jones and Philip Wadler. Imperative functional programming. In the Symposium on Principles of Programming Languages (POPL '93). ACM, January 1993. 71-84.
42. Rice Students. Multi-stage programming course projects. http://www.cs.rice.edu/~taha/teaching/, 2000.
43. Tim Sheard, Zine El-Abidine Benaissa, and Emir Pašalić. DSL implementation using staging and monads. In Second Conference on Domain-Specific Languages (DSL’99), Austin, Texas, 1999. USENIX.
44. Tim Sheard and Simon Peyton Jones. Template metaprogramming for Haskell. In Manuel M. T. Chakravarty, editor, ACM SIGPLAN Haskell Workshop 02, pages 1-16. ACM Press, October 2002.
45. Yannis Smaragdakis and Don Batory. Implementing layered designs with mixin layers. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), pages 550-570. Springer-Verlag LNCS 1445, 1998.
46. Jörg Striegnitz and Stephen Smith. An expression template aware lambda function. In First Workshop on C++ Template Programming, Erfurt, Germany, October 2000.
47. Walid Taha. Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology, 1999. Available from [38].
48. Walid Taha, editor. Semantics, Applications, and Implementation of Program Generation, volume 1924 of Lecture Notes in Computer Science, Montréal, 2000. Springer-Verlag.
49. Walid Taha. A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial. In Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Maniplation (PEPM), Boston, 2000. ACM Press.
50. Walid Taha and Patricia Johann. Staged notational definitions. In Frank Pfenning and Yannis Smaragdakis, editors, Generative Programming and Component Engineering (GPCE), Lecture Notes in Computer Science. Springer-Verlag, 2003.
51. Walid Taha and Tim Sheard. Multi-stage programming with explicit annotations. In Proceedings of the Symposium on Partial Evaluation and Semantic-Based Program Manipulation (PEPM), pages 203-217, Amsterdam, 1997. ACM Press.
52. Walid Taha and Tim Sheard. MetaML: Multi-stage programming with explicit annotations. Theoretical Computer Science, 248(1-2), 2000.
53. Peter Thiemann. Programmable Type Systems for Domain Specific Languages. In Marco Comini and Moreno Falaschi, editors, Electronic Notes in Theoretical Computer Science, volume 76. Elsevier, 2002.
54. Ervin Unruh. Prime number computation. Internal document, ANSI X3J16-94-0075/ISO WG21-462, 1994.
55. Todd Veldhuizen and Kumaraswamy Ponnambalam. Linear algebra with C++ template metaprograms. Dr. Dobb’s Journal of Software Tools, 21(8):38-44, August 1996.
56. Todd L. Veldhuizen. Expression templates. C++ Report, 7(5):26-31, 1995.
57. Todd L. Veldhuizen. Template metaprograms. C++ Report, 7(4):36-43, 1995.
58. D. Wile. Popart: Producer of parsers and related tools. system builders’ manual. Technical report, USC Information Sciences Institute, 1981.