Licence Creative Commons OptiTrust : User-Guided Source-to-Source Transformations (with Formal Guarantees)

22 mars 2023
Durée : 00:35:19
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)

  • OptiTrust : User-Guided Source-to-Source Transformations (with Formal Guarantees)

Arthur CHARGUERAUD (ICube, Inria Strasbourg) et Thomas KOEHLER (Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie)

Mots clés : arthur chargueraud clap cnrs gpl hifi icube inria koehler lvp optitrust strasbourg thomas

 Informations

Commentaire(s)

Chargement en cours…