Qu'est Wallace?

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.

Téléchargement

Voici la dernière version (2000/02/11). Pour la compiler, il vous faudra OCaml (version 2.02 ou plus récente).


EnglishPage principale Email Téléphone: +33 1 39 63 52 64 Dernière modification : 21 March 2012