Un système d'aide pour la mise en oeuvre de la programmation par démonstration

THESE de DOCTORAT de l'UNIVERSITE PARIS 6S pécialité :INFORMATIQUE présentée par Mr Philippe PIERNOT pour obtenir le grade de DOCTEUR de l'UNIVERSITE PARIS 6Sujet de la thèse : Un système d'aide pour la mise en oeuvre de la programmation par démonstration soutenue le 30 Juin 1995devant le jury composé de :Mlle BORNE Isabelle, rapporteur Mr COT Norbert, directeur de thèse Mr CYPHER Allen, examinateur Mr LIEBERMAN Henry, rapporteur Mr PERROT Jean-François, Président 1 Remerciements Mes plus sincères remerciements vont :à Monsieur Perrot, pour avoir accepté de présider mon jury de thèse et de s'être intéressé à mes travaux ;à Mademoiselle Borne, pour avoir accepté d'être rapporteur et pour m'avoir suggéré de nombreuses améliorations concernant ce manuscrit. Je tiens aussi à remercier Mademoiselle Borne pour les fructueuses conversations que nous avons eues à propos du langage de programmation Smalltalk et des environnements de programmation utilisateur ;à Monsieur Lieberman, pour avoir accepté d'être rapporteur et pour le temps consacré à lire et à juger ce travail. Le système Mondrian que Monsieur Lieberman a développé a été pour moi une source d'inspiration importante ;à Monsieur Cypher, pour avoir accepté d'être examinateur. Son l'article sur Eager m'a fait découvrir le domaine de la Programmation Par Démonstration a fortement influencé mes travaux. Je remercie aussi Monsieur Cypher de m'avoir invité à participerau "Programming By Example Workshop" me donnant ...