Les nouveaux langages de programmation dérivés de Lisp ne sont
généralement pas décrits de façon algorithmique.
Nous proposons une notation consacrée à la description d'implémentations
d'interprètes LISP. Cette notaion est une extension du filtrage
d'expressions symboliques LISP, et ne présuppose pas l'existence
préalable d'un interprète LISP comme sous-système
Elle est utilisée ici pour définir l'interprète d'un sous-ensemble
du langage CONNIVER. Ce sous-ensemble et l'interprète LISP
sont implémentés au même niveau de description, leur réunion définit
un nouveau système LISP : VLISP.
![[English flag]](/graphics/flags/aimi_en.png "This Page in English")
![[images/covers/vlisp/Conniver.jpg]](/images/covers/vlisp/Conniver.jpg "Voir le document en pdf (taille en ko : 1004)")
![[Description compactes d'interprètes implémentables, une application au langage Conniver, TR 16-76]](/images/headers/strip.jpg "Description compactes d'interprètes implémentables, une application au langage Conniver, TR 16-76"){kind=small}
