TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme. (TIREX : A textual target-level intermediate representation for virtual execution environment, compiler information exchange and program analysis). - Artur Pietrek (2012)