Variable elimination for building interpreters - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2010

Variable elimination for building interpreters

Résumé

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.
Fichier principal
Vignette du fichier
article.pdf (321.83 Ko) Télécharger le fichier
proof.tgz (23.05 Ko) Télécharger le fichier
prototype.tgz (150.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre
Format : Autre
Loading...

Dates et versions

hal-00482002 , version 1 (07-05-2010)

Identifiants

Citer

Julien Cohen, Jean-Louis Giavitto, Olivier Michel. Variable elimination for building interpreters. 2010. ⟨hal-00482002⟩
161 Consultations
166 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More