Can I read Combining Partial Evaluation and Staged Interpretation in the Implementation of Domain-specific Languages on EtoBox?

Combining Partial Evaluation and Staged Interpretation in the Implementation of Domain-specific Languages by Christoph A. Herrmann; Tobias Langhammer is a Computer Science article available to read on EtoBox.

What is Combining Partial Evaluation and Staged Interpretation in the Implementation of Domain-specific Languages about?

We propose a combination of partial evaluation and staged interpretation with MetaOCaml for rapid prototyping of domainspecific languages. Interpretation is an easy way to implement such languages. MetaOCaml can eliminate the overhead of interpretation at run-time, if the interpreter is written in a staged form, i.e., takes the source program separate from the input data in a first stage. Partial evaluation of the source program with values known at compile time can further improve the target code performance. Additional aggressive optimizations are possible due to the absence of general recursion. Algebraic simplifications can even achieve binding-time improvements during the online partial evaluation. Our approach both saves the application programmer completely from binding-time considerations and exploits staged interpretation with MetaOCaml for target code generation. The example domain presented in this paper is image processing, in which the domain-specific language permits the specification of convolution matrices, summations, case distinctions and non-local pixel accesses. All expressions known at compile time are simplified and all remaining expressions are turned into Me

Who reads Combining Partial Evaluation and Staged Interpretation in the Implementation of Domain-specific Languages?

Author

Christoph A. Herrmann; Tobias Langhammer

Publisher

Elsevier Science; Elsevier ; Elsevier BV (ISSN 0167-6423)

Published

2006

Language

EN

Field

Computer Science (Physical Sciences)