ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 26/9 - 2007  - pp.1137-1167  - doi:10.3166/tsi.26.1137-1167
TITRE
Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs

RÉSUMÉ
Nous présentons une technique d'interprétation de programmes reposant sur le principe de syntaxe abstraite d'ordre supérieur qui permet de réutiliser les mécanismes du langage hôte (utilisé pour développer l'interprète) dédiés à la réduction des applications au lieu de les redévelopper. Cette approche constitue une alternative simple et raisonnablement efficace pour le développement rapide d'interprètes. Ce schéma d'interprétation nécessite que les fonctions définies dans le langage à interpréter soient traduites au vol en fonction du langage hôte. Nous utilisons la logique combinatoire pour réaliser cette traduction afin de ne pas limiter l'approche à l'utilisation de langages permettant la métaprogrammation.


ABSTRACT
We present a program interpretation technique relying on an higher order abstract syntax which allows the reuse of the mechanisms of the host language (used to implement the interpreter) dedicated to application reductions instead of reimplementing them. This approach constitutes a simple and reasonably efficient alternate solution for fast interpreter development. This interpretation schema requires that the functions defined through the interpreted language be translated on the fly into functions of the host language. We use combinatory logic to make that translation in order not to limit our approach to the use of languages allowing meta programming.


AUTEUR(S)
Julien COHEN

Reçu le 9 mai 2006.    Accepté le 15 février 2007.

MOTS-CLÉS
syntaxe abstraite d'ordre supérieur, logique combinatoire, interprétation.

KEYWORDS
higher order abstract syntax, combinatory logic, interpreter implementation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (430 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier