Recherche:

tout dépend ce que tu veux... les treillis ont des caractéristiques très intéressantes, ce qui les rend si utiles.
Par exemple dans le cadre de l'interprétation abstraite... il est a priori...

As-tu regardé du côté des implantations de domaines abstraits numériques sur les intervalles d'entiers ?
(interproc/apron est en OCaml par exemple)

plus précisément :arrow:...