Compiling Embedded Languages Export

@inproceedings{citeulike:392500, abstract = {. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (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...}, author = {Elliott, Conal and Finne, Sigbjorn and de Moor, Oege}, booktitle = {SAIG}, citeulike-article-id = {392500}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.9782}, keywords = {dsl, rewriting}, pages = {9--27}, posted-at = {2005-11-14 20:06:30}, priority = {4}, title = {Compiling Embedded Languages}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.9782}, year = {2000} }

TY - CONF ID - citeulike:392500 L3 - citeulike-article-id:392500 N2 - . Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (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... EP - 27 TI - Compiling Embedded Languages T2 - SAIG SP - 9 KW - dsl KW - rewriting AU - Elliott, Conal AU - Finne, Sigbjorn AU - de Moor, Oege PY - 2000/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.9782 ER -