Sujet de la thèse : Analyse sémantique de langages parallèles basé sur le lambda-calcul

Début de la thèse : 01/10/2021

Directeur de thèse : Frédéric LOULERGUE

Co-encadrant de thèse : Jules CHOUQUET

Résumé :

Analyse sémantique de langages parallèles basé sur le lambda-calcul