Jean-Yves Moyen
List of publications.
Quasi-Interprétations
- Jean-Yves Marion, Jean-Yves Moyen
Efficient First Order Program Interpreter
with Time Bound Certifications
LNAI 1955, proceedings of
LPAR'2001
(bibTEX)
- Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
On lexicographic termination ordering
with space bound certifications
LNCS
2244, proceedings of
PSI
2001.
(bibTEX)
- Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
On complexity analysis by
quasi-interpretations
Proceedings of APPSEM
2004.
(bibTEX)
- Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
Quasi-interpretations: a way to control
ressources
Under revision at TCS.
(bibTEX)
- Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
Quasi-interpretations and small space
bounds
LNCS
3467, proceedings of RTA'05.
(bibTEX)
- Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen et Romain Péchoux
Synthesis of Quasi-Interpretations
LCC'05.
(bibTEX)
- Patrick Baillot, Ugo dal Lago et Jean-Yves Moyen
On
quasi-interpretations, blind abstractions and implicit
complexity
LCC'06.
(bibTEX)
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