Temps actuel 0:00
Durée 0:00
Chargé: 0%
Type de flux EN DIRECT
Temps restant 0:00
 
1x
  • Chapitres
  • descriptions désactivées, sélectionné
  • Sous-titres désactivés, sélectionné
    • Quality

    Licence Creative Commons Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates

    21 mars 2023
    00:24:48
    Nombre de vues 2
    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)

    • Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates

    Thibaud BENJAMIN (Laboratoire Sûreté des Logiciels)

    Mots clés : arithmetic assertion benjamin checker clap cnrs efficient formalizing functions gpl hifi laboratoire language logiciels lvp predicates runtime surete thibaud

    Commentaire(s)

    Supprimer définitivement votre commentaire ?