Raphaël Monat
Raphaël Monat
Home
Publications
Talks
Software
Posts
Light
Dark
Automatic
Softwares
Mlang
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.
Mopsa
Mopsa is a framework to write static analyses by abstract interpretation.
Cite
×