Abstract FR:

Etude et application de l'interprétation abstraite à la programmation logique. L'approche utilisée est basée sur une étude de graphes représentant unification ou substitution abstraites. Un nouveau schéma d'interprétation abstraite est défini, dont la validité et la consistance sont prouvées. Il est montré que ce choix permet d'améliorer les optimisations présentées comme, par exemple, l'inférence de modes ou la détection statique du point de backtrack à l'intérieur de clauses.