Publications Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs Milla Valnet Raphaël Monat Antoine Miné PDF
