Explore l'amélioration de la traduction, des traductions basées sur le contexte source et des techniques de représentation de la valeur telles que le marquage et la boxe.
Explore l'analyse de flux de données pour l'optimisation, y compris la résolution d'équations, les variables en direct, l'atteinte de définitions et les expressions très occupées.