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.2.8 + AHUNTSIC [CC License]

info visites 3900033