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)