Analyse de Bytecode par Raffinement

Boubacar Demba Sall; Frédéric Peschanski; Emmanuel Chailloux

Communication Dans Un Congrès Année : 2017

Analyse de Bytecode par Raffinement

(1) , (1) , (1)

1

Boubacar Demba Sall

Fonction : Auteur
PersonId : 14640
IdHAL : boubacar-demba-sall
ORCID : 0000-0002-4860-1839
IdRef : 253123100

Algorithmes, Programmes et Résolution

CV

Frédéric Peschanski

Fonction : Auteur
PersonId : 839315

Algorithmes, Programmes et Résolution

Emmanuel Chailloux

Fonction : Auteur
PersonId : 9494
IdHAL : emmanuel-chailloux
IdRef : 061629588

Algorithmes, Programmes et Résolution

Domaines

Langage de programmation [cs.PL]

Fichier principal

afadl2017_article_court.pdf (209.61 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Emmanuel Chailloux : Connectez-vous pour contacter le contributeur

https://hal.sorbonne-universite.fr/hal-01558732

Soumis le : mercredi 26 juillet 2023-23:58:41

Dernière modification le : vendredi 28 juillet 2023-03:55:24

Dates et versions

hal-01558732 , version 1 (26-07-2023)

Identifiants

HAL Id : hal-01558732 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES

263 Consultations

18 Téléchargements

Analyse de Bytecode par Raffinement

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager