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

From CERES
Revision as of 05:44, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title DSL Implementation in MetaOCaml, Template Haskell, and C++
Author Krzysztof Czarnecki and John T. O’Donnell and Jörg Striegnitz and Walid Taha
Year 2004
PublicationType Conference Paper
Journal
HostPublication Domain-Specific Program Generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers
DOI http://dx.doi.org/10.1007/978-3-540-25935-0_4
Conference International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:396147
Abstract A wide range of domain-specific languages (DSLs) has beenimplemented successfully by embedding them in general purpose languages.This paper reviews embedding, and summarizes how two alternativetechniques—staged interpreters and templates—can be used toovercome the limitations of embedding. Both techniques involve a formof generative programming. The paper reviews and compares three programminglanguages that have special support for generative programming.Two of these languages (MetaOCaml and Template Haskell) areresearch languages, while the third (C++) is already in wide industrialuse. The paper identifies several dimensions that can serve as a basis forcomparing generative languages.