[Description compactes d'interprètes implémentables, une application au langage Conniver, TR 16-76]

Description compactes d'interprètes implémentables, une application au langage Conniver, TR 16-76

[images/covers/vlisp/Conniver.jpg]

Novembre 1975, 16 pages   pdf icon flag

Patrick Greussay

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.