 | Page principale | Dernière modification : 10 August 2021 |
Wallace est une librairie générique de gestion de contraintes de sous-typage non structurel. Il effectue la résolution et la simplification des contraintes, et est paramétré par la donnée d'une algèbre de types. Son but est de constituer un composant prêt à l'emploi pour la création d'un typeur à base de contraintes, quel que soit le langage de programmation analysé.
Ses fondements théoriques sont décrits dans ma thèse de doctorat; vous en trouverez une présentation formelle à jour dans cet article.
Voici la dernière version (2000/02/11). Pour la compiler, il vous faudra OCaml (version 2.02 ou plus récente).
| Page principale | Dernière modification : 10 August 2021 |