Analyse de Bytecode par Raffinement
Domains
Programming Languages [cs.PL]| Origin | Files produced by the author(s) |
|---|
Conference Papers
Year : 2017
Emmanuel Chailloux : Connect in order to contact the contributor
https://hal.sorbonne-universite.fr/hal-01558732
Submitted on : Wednesday, July 26, 2023-11:58:41 PM
Last modification on : Friday, July 28, 2023-3:55:24 AM
Dates and versions
Identifiers
- HAL Id : hal-01558732 , version 1
Cite
Boubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux. Analyse de Bytecode par Raffinement. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Jun 2017, Montpellier, France. ⟨hal-01558732⟩
Collections
294
View
32
Download