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.
Accueil > Verimag > Séminaires
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 4.4.28 +
AHUNTSIC
[CC License]
info visites 56667906
|
|
|