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

info visites 4552496

UGA

CNRS

INP Grenoble