Anaïs : un système de compréhension automatique de programmes à base d'objets

Ce mémoire s'articule autour de deux parties conceptuellement distinctes, mais reliées en pratique : la seconde utilise le modèle présenté dans la première. La première traite de la programmation par objets. Ses concepts sont décrits dans le premier chapitre. Le deuxième chapitre présente une description formelle d'un modèle objet et de sa machine virtuelle : ObjVlisp. Le troisième chapitre analyse une implantation de ce modèle en Scheme et compare cette implantation avec une implantation en Le_Lisp. La seconde partie présente un noyau d'environnements de programmation pour Scheme et écrit en Scheme; ce noyau, Anaïs, a été inspiré par Phénarète et bVlisp. Sa conception repose principalement sur un postulat : l'existence parallèle de l'évaluation concrète et de la méta­évaluation. Son implantation utilise l'implantation Scheme de ObjVlisp précédemment décrite. Le quatrième chapitre expose le système de compréhension, d'amélioration et de correction automatiques de programmes Phénarète, la muse dominante d'Anaïs. Le cinquième chapitre contient la description d'Anaïs : ses principes de conception, son utilisation, son architecture, ses classes, ses connaissances, la méta-évaluation et le module Dépanneur. Le sixième chapitre examine la filiation unissant Anaïs à Phénarète