POD - Formalizing An Efficient Runtime Assertion C…

Take Note

There is no note available for you for this video.

Log in to create a new one.

Disciplines

Types

Tags

perform 304 fle 291 sciences 291 techniques 290 filipé 284 fos 282 cpp 180 lig 170 mathematiques 163 gricad 162 soutenance 151 prepa inp 145 prepa des inp 139 thèse 135 mooc 121 innovation 116 recherche 96 sante 95 pedagogie 91 2a 87

Bonjour, une intervention sur POD aura lieu ce lundi 20 Janvier de 13h à 14h.

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)

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

Added by: Gricad Vidéos
Updated on: April 4, 2023, 3:27 p.m.
Channel:
- Research
Type: Conferences
Main language: French
Discipline(s):
- Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

Social Networks

Comment(s)