Softwares

Mopsa is a framework to write static analyses by abstract interpretation.

Mlang is a new compiler for M, the domain specific language used by the French Tax Administration to compute the income tax. This is joint work with Denis Merigoux.