Frama-Clang: a Frama-C front-end for C++ - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Poster De Conférence Année : 2014

Frama-Clang: a Frama-C front-end for C++

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
poster.jpg (778.06 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Virgile Prevosto  : Connectez-vous pour contacter le contributeur

https://cea.hal.science/cea-01835663

Soumis le : mercredi 11 juillet 2018-15:44:34

Dernière modification le : mercredi 3 avril 2024-11:14:11

Archivage à long terme le : samedi 13 octobre 2018-07:05:44

Télécharger pour visualiser

Dates et versions

cea-01835663 , version 1 (11-07-2018)

Identifiants

  • HAL Id : cea-01835663 , version 1

Citer

Virgile Prévosto, Franck Védrine. Frama-Clang: a Frama-C front-end for C++. EuroLLVM, Apr 2014, Edinburgh, United Kingdom. ⟨cea-01835663⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA DRT LIST GS-SPORT-HUMAN-MOVEMENT
99 Consultations
58 Téléchargements

Partager

Gmail Facebook X LinkedIn More