Frama-Clang: a Frama-C front-end for C++ - Archive ouverte HAL Access content directly
Conference Poster Year :

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

(1, 2) , (2, 1)
1
2
Fichier principal
Vignette du fichier
poster.jpg (778.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : cea-01835663 , version 1

Cite

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

Collections

CEA DRT LIST
79 View
50 Download

Share

Gmail Facebook Twitter LinkedIn More