Le 21 mars 2011, à 15h30 en salle B311, le séminaire LCR accueille Jean-Yves Moyen (LIPN, Paris 13).

Les QI et l’analyse mwp sont deux techniques de complexité implicite pour caractériser Ptime. Les QI travaillent avec des programmes fonctionnels tandis que l’analyse mwp étudie des programmes impératifs.

Je montre, via une transformation de programmes, que bien qu’étant apparemment très différentes ces deux techniques sont moralement équivalentes et capables d’analyser les mêmes cas.