De la meta-recursivite comme outil d'implementation
FR |
EN
Auteur / Autrice : | Emmanuel Saint-James |
Direction : | Bernard Robinet |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences appliquées |
Date : | Soutenance en 1987 |
Etablissement(s) : | Paris 6 |
Mots clés
FR
Mots clés libres
Sciences appliquees
Informatique, automatique theorique, systemes
These
Transformation programme
Recursivite
Programmation fonctionnelle
Machine virtuelle
Lisp
Environnement programmation
Genie logiciel
Thesis
Program transformation
Recursivity
Functional programming
Virtual machine
Lisp language
Programming environment
Software engineering
Résumé
FR
Il est montre comment il est possible et pourquoi il est souhaitable d'implementer un langage de programmation exclusivement par autointerpretation. En effet, il est montre qu'un sous ensemble d'un langage de programmation peut etre considere comme sa propre machine virtuelle, et que l'acces interactif au code source du systeme donne au langage une clarte et une puissance d'expression inegalees. Cette technique, nommee metarecursivite, a ete utilisee pour mettre en oeuvre le systeme meta lisp, operationnel sur plusieurs machines