Détails sur le séminaire

Room 206 (2nd floor, badged access)
30 août 2021 - 14h00
Sémantique de Vellvm
par Yannick Zakowski de LIP



Résumé : Formalisation de la sémantique de LLVM.
Nouvelle sémantique de Vellvm (ICFP 2021) via les interaction trees.




Contact | Plan du site | Site réalisé avec SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1802866