Abstract FR:

L'évaluation partielle est une transformation de programmes qui permet de spécialiser automatiquement un programme pour un contexte d'utilisation donné. Plusieurs spécialiseurs ont été développés et utilisés avec succès pour de nombreuses applications. Cependant cette technique n'est pas encore accessible à des programmeurs non-experts car il est souvent difficile de décrire les opportunités de spécialisation. Nous avons développé un langage de déclarations haut niveau qui permet au programmeur de préciser quels sont les fragments de code et les invariants qui doivent être pris en considération par le processus de spécialisation. Les déclarations sont vérifiées avant la phase de spécialisation afin de renseigner le programmeur quant à la faisabilité de la spécialisation désirée. Cette approche permet de rendre la spécialisation prévisible par rapport aux déclarations et offre ainsi la possibilité d'envisager la spécialisation automatique et systématique de composants logiciels.