From Interpreter to Compiler using Staging and Monads Export

@misc{citeulike:4197, abstract = {In writing this paper we had two goals. First, to promote MetaML, a programming language for writing staged programs, and second, to demonstrate that staging a program can have significant benefits. We do this by example: the derivation of an executable compiler for a small language. We derive the compiler in a rigorous fashion from a semantic description of the language. This is done by staging a denotational semantics, expressed as a monadic interpreter. The compiler is a program generator,...}, author = {Sheard, T. and Benaissa, Z.}, citeulike-article-id = {4197}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.5161}, keywords = {interpreters, metaml, monads, staging}, posted-at = {2004-12-19 12:04:26}, title = {From Interpreter to Compiler using Staging and Monads}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.5161}, year = {1998} }

TY - GEN ID - citeulike:4197 L3 - citeulike-article-id:4197 N2 - In writing this paper we had two goals. First, to promote MetaML, a programming language for writing staged programs, and second, to demonstrate that staging a program can have significant benefits. We do this by example: the derivation of an executable compiler for a small language. We derive the compiler in a rigorous fashion from a semantic description of the language. This is done by staging a denotational semantics, expressed as a monadic interpreter. The compiler is a program generator,... TI - From Interpreter to Compiler using Staging and Monads KW - interpreters KW - metaml KW - monads KW - staging AU - Sheard, T AU - Benaissa, Z PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.5161 ER -