Abstract not found

ogy (MIT), le Professeur David K. Gifford, mon co-locataire de bureau transatlantique Mark A. Sheldon, Jim O'Toole, Franklyn Turbak, Michael "Ziggy" Blair, John Lucassen et Brian Reistad. ffl Au Laboratoire de Recherche en Informatique (LRI) de Paris XI, les Professeurs Jean-Pierre Jouannaud qui m'a invit'e `a pr'esenter ma th`ese d'habilitation `a Paris XI et Jean-Pierre Sansonnet. ffl Au Centre de Recherche Bull, mon co-auteur "industriel" Babak Dehbonei, G'erard Memmi et Nadia Tawbi. ffl A l'Etablissement Technique Central de l'Armement (ETCA), Serge Petiton et Philippe Clermont, maintenant `a HyParTech. ffl Au Programme de Recherches Coordonn'ees C3, Patrice Quinton, pour son financement. ffl A la Direction Recherche Et Technique (DRET), Philippe Sarrazin. De plus, Fran¸cois Irigoin, Corinne Ancourt, Philippe Bazet, Fran¸cois Masdupuy, et Babak Dehbonei ont particip'e `a la relecture de ce manuscr

pour obtenir le dipl^ome d'Habilitation a Diriger des Recherches en Sciences de l'Universite de Paris XI. Pour completement apprecier le contenu de ces recherches, le lecteur pourra se reporter avec pro t au texte complet des articles donnes en annexe. 1 Remerciements L'ensemble de ces travaux n'aurait pu ^etre ce qu'il est sans le concours de nombreux chercheurs et amis qu'il m'est un plaisir de remercier ici: Au Centre de Recherche en Informatique (CRI) de l'Ecole des Mines de Paris, mon colocataire