Habilitation à Diriger des Recherches

IF1: format intermédiaire pour graphes data-flow

définition du formalisme IF1 (noeuds, arètes)

traduction SISAL -> IF1 ( top down )

optimisations répertoriées dans le compilateur OSC

élimination de sous-expressions communes ( bottom up )

transformation:

• utilisation intensive de l'unification

  deux formats pour les graphes dataflow

  aucune primitive de parcours/manipulation de graphes