Knowledge Tree

researcher / Michel Mauny

Michel Mauny

at_id:

orcid_id:

Disciplines:

Applied sciences

Common sciences and techniques

Computer sciences

Edit Merge See Links

Directed Thesis:

[ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace

Vérification des résultats de l'inférence de types du langage OCaml

Sous-Typage par Saturation de Contraintes, Théorie et Implémentation

Profilage mémoire d’applications OCaml

Conception d'un outil de débogage formel pour systèmes logiciels et matériels selon l'approche "Debug as Design"

Typer la désérialisation sans sérialiser les types

Conception et realisation d'une extension du langage ml avec des objets

Synthese de types en presence de sous-typage : de la theorie a la pratique