Licence Creative Commons A Formal Specification for Gated SSA

21 mars 2023
00:34:08
Nombre de vues 44
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS (Rencontres de la communauté française de compilation)

  • A Formal Specification for Gated SSA

Delphine DEMANGE (Université de Rennes 1, Inria, CNRS, IRISA)

Mots clés : clap cnrs delphine demange formal gated gpl hifi inria irisa lvp rennes specification ssa universite

Infos

Commentaire(s)