Licence Creative Commons Une sémantique des structures, unions et termes indéfinis pour la spécification formelle de C

22 mars 2023
00:31:36
Nombre de vues 4
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)

  • Une sémantique des structures, unions et termes indéfinis pour la spécification formelle de C

Louis GAUTHIER (Laboratoire Sûreté des Logiciels)

Mots clés : c clap cnrs formelle gauthier gpl hifi indefinis laboratoire logiciels louis lvp semantique specification structures surete termes unions

Commentaire(s)