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.
Type de document :
Pré-publication, Document de travail
33 pages. 2010
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00482002
Contributeur : Julien Cohen <>
Soumis le : vendredi 7 mai 2010 - 17:18:18
Dernière modification le : jeudi 5 avril 2018 - 10:36:49
Document(s) archivé(s) le : jeudi 1 décembre 2016 - 00:24:53

Fichiers

Identifiants

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

Citation

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

Partager

Métriques

Consultations de la notice

259

Téléchargements de fichiers

251