Variable elimination for building interpreters

Abstract : 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 : lambda-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.
Document type :
Preprints, Working Papers, ...
33 pages. 2010
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00482002
Contributor : Julien Cohen <>
Submitted on : Friday, May 7, 2010 - 5:18:18 PM
Last modification on : Friday, February 10, 2017 - 1:12:29 AM
Document(s) archivé(s) le : Thursday, December 1, 2016 - 12:24:53 AM

Files

Identifiers

  • HAL Id : hal-00482002, version 1
  • ARXIV : 1005.1466

Collections

Citation

Julien Cohen, Jean-Louis Giavitto, Olivier Michel. Variable elimination for building interpreters. 33 pages. 2010. <hal-00482002>

Share

Metrics

Record views

174

Document downloads

207