Software engineering demands generality and abstraction,
performance demands specialization and concretization.
Generative programming can provide both, but the effort
required to develop high-quality program generators
likely offsets their benefits, even if a multi-stage
programming language is used. We present lightweight
modular staging, a library-based multi-stage programming
approach that breaks with the tradition of syntactic
quasi-quotation and instead uses only types to
distinguish between binding times. Through extensive use
of component technology, lightweight modular staging
makes an optimizing compiler framework available at the
library level, allowing programmers to tightly integrate
domain-specific abstractions and optimizations into the
generation process. We argue that lightweight modular
staging enables a form of language virtualization, i.e.
allows to go from a pure-library embedded language to one
that is practically equivalent to a stand-alone
implementation with only modest effort.
%0 Report
%1 RompfAndOdersky2010
%A Rompf, Tiark
%A Odersky, Martin
%D 2010
%K diss dsl scala
%T Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs
%X Software engineering demands generality and abstraction,
performance demands specialization and concretization.
Generative programming can provide both, but the effort
required to develop high-quality program generators
likely offsets their benefits, even if a multi-stage
programming language is used. We present lightweight
modular staging, a library-based multi-stage programming
approach that breaks with the tradition of syntactic
quasi-quotation and instead uses only types to
distinguish between binding times. Through extensive use
of component technology, lightweight modular staging
makes an optimizing compiler framework available at the
library level, allowing programmers to tightly integrate
domain-specific abstractions and optimizations into the
generation process. We argue that lightweight modular
staging enables a form of language virtualization, i.e.
allows to go from a pure-library embedded language to one
that is practically equivalent to a stand-alone
implementation with only modest effort.
@techreport{RompfAndOdersky2010,
abstract = {Software engineering demands generality and abstraction,
performance demands specialization and concretization.
Generative programming can provide both, but the effort
required to develop high-quality program generators
likely offsets their benefits, even if a multi-stage
programming language is used. We present lightweight
modular staging, a library-based multi-stage programming
approach that breaks with the tradition of syntactic
quasi-quotation and instead uses only types to
distinguish between binding times. Through extensive use
of component technology, lightweight modular staging
makes an optimizing compiler framework available at the
library level, allowing programmers to tightly integrate
domain-specific abstractions and optimizations into the
generation process. We argue that lightweight modular
staging enables a form of language virtualization, i.e.
allows to go from a pure-library embedded language to one
that is practically equivalent to a stand-alone
implementation with only modest effort.},
added-at = {2011-02-22T17:45:35.000+0100},
affiliation = {EPFL},
author = {Rompf, Tiark and Odersky, Martin},
biburl = {https://www.bibsonomy.org/bibtex/21881c5c29a8853c7b6f4593fc0d4814d/fsteeg},
details = {http://infoscience.epfl.ch/record/149131},
documenturl = {http://infoscience.epfl.ch/record/149131/files/paper.pdf},
institution = {EPFL},
interhash = {02524695b666cfd663b3314bf62f10ac},
intrahash = {1881c5c29a8853c7b6f4593fc0d4814d},
keywords = {diss dsl scala},
oai-id = {oai:infoscience.epfl.ch:149131},
oai-set = {report; fulltext-public; fulltext},
pagecount = {10},
status = {PUBLISHED},
submitter = {185682; 185682},
timestamp = {2011-02-22T17:45:35.000+0100},
title = {Lightweight {M}odular {S}taging: {A} {P}ragmatic {A}pproach to {R}untime {C}ode {G}eneration and {C}ompiled {DSL}s},
unit = {LAMP},
year = 2010
}