Publications ›

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

TitleDSL Implementation in MetaOCaml, Template Haskell, and C++
Publication TypeBook Chapter
Year of Publication2003
AuthorsCzarnecki, K., T. O'Donnell, John, J. Striegnitz, and W. Taha
Book TitleDomain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
Series TitleLecture Notes in Computer Science
Volume3016
Pagination51-72
PublisherSpringer-Verlag
CityBerlin, Heidelberg
Abstract

A wide range of domain-specific languages (DSLs) has been implemented
successfully by embedding them in general purpose lan- guages. This
paper reviews embedding, and summarizes how two alternative techniques
– staged interpreters and templates – can be used to overcome the
limitations of embedding. Both techniques involve a form of generative
programming. The paper reviews and compares three pro- gramming
languages that have special support for generative programming. Two of
these languages (MetaOCaml and Template Haskell) are research
languages, while the third (C++) is already in wide industrial use.
The paper identifies several dimensions that can serve as a basis for
comparing generative languages.
URLhttp://www.springerlink.com/content/nl620el7n94m161h/fulltext.pdf
DOI10.1007/b98156

Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.

Thiago Tonelli Bartolomei

This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.

Jesús Alejandro Padilla Gaeta