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.