Skip to Main content Skip to Navigation
Conference papers

Analyse de Bytecode par Raffinement

Boubacar Sall Frédéric Peschanski 1 Emmanuel Chailloux 1
1 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Conference papers
Complete list of metadata
https://hal.sorbonne-universite.fr/hal-01558732
Contributor : Emmanuel Chailloux <>
Submitted on : Sunday, July 9, 2017 - 6:36:44 PM
Last modification on : Friday, January 8, 2021 - 5:32:07 PM

Identifiers

  • HAL Id : hal-01558732, version 1

Collections

UPMC | CNRS | LIP6 | SORBONNE-UNIVERSITE | SU-SCIENCES

Citation

Boubacar 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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

465