Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération

Attention, la plate-forme sera en maintenance toute la journée du 23 avril 2024. De plus, l'outil "Habillage" des vidéos n'est pas encore totalement fonctionnel. Merci de ne pas l'utiliser pour le moment.

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)

Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération

Roméo LA SPINA (Université de Rennes 1, LANGAGE ET GÉNIE LOGICIEL, Institut national de recherche en informatique et en automatique)

Mots clés : analyseur automatique clap cnrs donnees flot formelle genie gpl hifi informatique institut iteration langage logiciel lvp national ordre parametre preuve recherche rennes romeo spina universite

Ajouté par : Gricad Vidéos
Mis à jour le : 5 avril 2023 09:59
Chaîne :
- Recherche
Type : Conférences
Langue principale : Français
Discipline(s) :
- Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

Commentaire(s)

Prendre des notes

Il n’y a pas de note disponible pour vous pour cette vidéo.

Connectez-vous pour en créer une nouvelle.

Disciplines

Types

Mots clés

perform 304 fle 290 sciences 290 techniques 290 filipé 284 fos 282 lig 182 cpp 178 mathematiques 165 soutenance 151 gricad 146 prepa inp 145 prepa des inp 139 thèse 135 innovation 114 sante 106 pedagogie 97 2a 87 dgd bapso 86 recherche 85

Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération

Informations

Commentaire(s)