Participants : Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nic Volanschi
Nous avons conçu et développé un évaluateur partiel, nommé Tempo, pour des programmes C [22]. Une innovation importante apportée par ce système est qu'il permet la spécialisation de programmes à la compilation et à l'exécution. Diverses analyses dont le but est de préparer la phase de spécialisation ont été conçues pour ce système. Etant donné la richesse du langage C et le fait qu'il ait été peu étudié dans le contexte de l'évaluation partielle, le développement de ces analyses a constitué une partie importante de notre travail. Les principales analyses de programmes sont les suivantes :
Un résultat important de ce travail a été de vérifier que l'architecture logicielle utilisée dans le cadre de programmes applicatifs pour Schism pouvait être appliquée à un langage impératif tel que C. Pour s'assurer que les transformations de programmes offertes par Tempo produisent un programme hautement spécialisé, nous avons ciblé notre travail sur les programmes systèmes qui sont très propices à la spécialisation. Nous avons ainsi pu recenser les besoins principaux de spécialisation existants dans ce domaine et introduire les transformations correspondantes.