Optimisation du filtrage par transformations de programmes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2005

Optimisation du filtrage par transformations de programmes

Abstract

Durant ce stage, nous nous sommes inspirés des techniques d'optimisations par transformations de programmes et nous avons proposé une solution adaptée aux programmes de filtrage du logiciel Tom, développé dans l'équipe Protheo. Après avoir présenté ces techniques ainsi que le logiciel Tom, nous définirons un système de transformations applicable aux programmes de filtrage syntaxique et nous l'étendrons aux programmes de filtrage équationnel. Enfin, nous présenterons l'implantation de ce système de règles en Tom et les gains de performance obtenus.
Fichier principal
Vignette du fichier
rapport.pdf (391.94 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00000764 , version 1 (17-11-2005)

Identifiers

  • HAL Id : inria-00000764 , version 1

Cite

Emilie Balland. Optimisation du filtrage par transformations de programmes. [Stage] 2005, pp.43. ⟨inria-00000764⟩
108 View
99 Download

Share

Gmail Facebook X LinkedIn More