Habilitation à Diriger des Recherches

Comparaison des optimisations entre RML2C et FNC-2

RML2C

FNC-2

RML -> FOL
+ optimisations 

       

------

Pattern-matching

idem (version C)

CPS + optimisations

optimisations mémoire 

      

------

incrémentalité