Abstraction de registres dans l'analyse de programmes



Participant : Yannis Bres.

Mots clés : Esterel, code efficace .

La complexité du calcul symbolique de l'espace d'états atteignable est indirectement liée au nombre de registres composant les états locaux de cette structure. On peut simplifier ce calcul au prix d'une approximation conservative en «oubliant» certains registres. Une technique originale et prometteuse d'interprétation abstraite a été définie dans ce sens. Elle est basée sur une interprétation trivaluée de certaines fonctions de transition. Son implantation et son évaluation en performance algorithmique sont en cours.