In: Walid Taha (editor), Semantics, Applications, and Implementation of Program Generation: International Workshop, SAIG 2000, Montreal, Canada, September 2000. Lecture Notes in Computer Science 1924, pp. 9-27, 2000.

Authors: Conal Elliott and Sigbjorn Finne and Oege de Moor
>

Abstract

Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages [4] (DSELs). We describe an implemented technique for producing optimizing compilers for DSELs, based on Kamin's idea of DSELs for program generation. The technique uses a data type of syntax for basic types, a set of smart constructors that perform rewriting over those types, some code motion transformations, and a back-end code generator. Domain-specific optimization results from chains of rewrites on basic types. New DSELs are defined directly in terms of the basic syntactic types, plus host language functions and tuples. This definition style makes compilers easy to write and, in fact, almost identical to the simplest embedded interpreters. We illustrate this technique with a language Pan for the computationally intensive domain of image synthesis and manipulation.

(PDF)

BIBTEX:

@inproceedings{ElliottFM00,
  author    = {Conal Elliott and
               Sigbjorn Finne and
               Oege de Moor},
  title     = {Compiling Embedded Languages.},
  booktitle = {SAIG},
  year      = {2000},
  pages     = {9-27},
  series = {Lecture Notes in Computer Science},
  volume = {1924}
  editor = {Walid Taha}}