Participants : Michel Mauny, Christian Rinderknecht
Dans le cadre de sa seconde année de thèse, Christian Rinderknecht a commencé la réalisation d'un analyseur sémantique (vérificateur de types) pour le langage de spécification de protocoles ISO ASN.1 :1990, prolongeant ainsi l'étude syntaxique de l'année précédente et l'analyseur syntaxique qui en avait été dérivé. D'autre part, il a entrepris l'étude d'un autre langage de définition d'interfaces : IDL (ou Interface Definition Languages), lié à l'architecture CORBA ( Common Object Request Broker Architecture). Christian Rinderknecht a réalisé une traduction automatique de ce langage vers le langage de programmation Caml Light, permettant ainsi au programmeur Caml d'être client d'une bibliothèque distante dont il ne connaît que la spécification IDL.