Jean-Yves Moyen
List of publications.



Quasi-Interprétations

ICAR
(Implicit Complexity AnalyseR) is a tool based on the results of the previous articles. You can download the sources (requires Ocaml and Mupad). The software was presented at the workshops ICC 2001 and RULE 2001.

Graphes de Contrôle de Ressources
Other