Sciweavers

CORR
2010
Springer

Variable elimination for building interpreters

13 years 3 months ago
Variable elimination for building interpreters
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (the language which is used to build the interpreter). In order to transform user-defined functions into host language functions we use combinatory logic : -abstractions are transformed into a composition of combinators. We provide a mechanically checked proof that this step is correct for the call-by-value strategy with imperative features.
Julien Cohen, Jean-Louis Giavitto, Olivier Michel
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Julien Cohen, Jean-Louis Giavitto, Olivier Michel
Comments (0)