Abstract FR:

Ce travail s'inscrit dans le cadre du projet eqc, initie par michael j. O'donnell a la fin des annees soixante dix. Ce projet a pour principal objectif d'offrir les outils permettant d'utiliser efficacement les systemes de reecriture comme langage de programmation. Une etude de l'existant presentera d'une part la classe des systemes de reecriture forward-branching, sur laquelle nous concentrerons nos efforts, et d'autre part les techniques d'optimisation se rattachant essentiellement a l'evaluation partielle. Nous developperons ensuite nos principales contributions. Des travaux anterieurs ont permis d'identifier certains problemes lies a l'efficacite et inherents a ce type de programmation. Nous proposons une solution a certains de ces problemes. Nous presenterons notamment un algorithme quadratique pour la reconnaissance des systemes forward-branching, le plus efficace a ce jour. Nous proposerons ensuite une strategie d'optimisation et expliquerons en quoi elle resoud les problemes specifiques auquels nous sommes confrontes. Nous proposons egalement un traitement particulier des operations arithmetiques permettant d'obtenir des performances comparables a celles des langages classiques sans compromis semantique.