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 metadatas
https://hal.sorbonne-universite.fr/hal-01558732
Contributor : Emmanuel Chailloux <>
Submitted on : Sunday, July 9, 2017 - 6:36:44 PM
Last modification on : Thursday, March 21, 2019 - 1:21:16 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

404

Contact

Informations

CCSD