DSL Implementation in MetaOCaml, Template Haskell, and C+

Tyck till om SwePub Sök här!

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

A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. 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 programming 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.

O’Donnell, John T.University of Glasgow, Glasgow, United Kingdom (författare)
Striegnitz, JörgResearch Centre Jülich, Jülich, Germany (författare)
Taha, Walid,1971-Rice University, Houston, Texas, USA(Swepub:hh)waltah (författare)
University of Waterloo, Waterloo, CanadaUniversity of Glasgow, Glasgow, United Kingdom (creator_code:org_t)

Ingår i:Domain-Specific Program GenerationBerlin : Springer Berlin/Heidelberg, s. 51-7297835402211979783540259350

Av författaren/redakt...: Czarnecki, Krzys ...; O’Donnell, John ...; Striegnitz, Jörg; Taha, Walid, 197 ...

Om ämnet

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.