Licence Creative Commons Un arbre de syntaxe pour programmes annotés avec leurs invariants et leurs preuves

22 mars 2023
Durée : 00:20:38
Nombre de vues 6
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)

  • Un arbre de syntaxe pour programmes annotés avec leurs invariants et leurs preuves

Guillaume BERTHOLON & Arthur CHARGUERAUD (ICube, Inria Strasbourg)

Mots clés : ardre arthur bertholon chargueraud clap cnrs compilation gpl guillaume hifi icube inria invariants lvp preuves programmes strasbourg syntaxe

 Informations

Commentaire(s)

Chargement en cours…