previous up next contents
Précédent : Typage et contrôle Remonter : Actions de recherche Suivant : Interprétation abstraite

Évaluation partielle

Participant : Jean-Marie Geffroy

Jean-Marie Geffroy poursuit ses travaux sur l'évaluation partielle, puisqu'il travaille actuellement également sur son évaluateur partiel Jimix qui a fait l'objet de sa thèse. Celui-ci se caractérise entre autres par son caractère réflexif (ouverture des mécanismes de spécialisation) et par le fait qu'il traite l'intégralité du langage Scheme. Outre le peaufinage de l'implémentation, J.M. Geffroy termine un article de description approfondie des aspects très originaux de Jimix.