Contributions to program analysis: expressivity and scalability

Type de document :
HDR
Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
Liste complète des métadonnées

Littérature citée [134 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01633065
Contributeur : Laure Gonnord <>
Soumis le : vendredi 17 novembre 2017 - 17:53:43
Dernière modification le : vendredi 20 avril 2018 - 15:44:27
Document(s) archivé(s) le : dimanche 18 février 2018 - 16:35:34

Fichier

HDR_Gonnord-11-11-2017.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : tel-01633065, version 2

Collections

Citation

Laure Gonnord. Contributions to program analysis: expressivity and scalability. Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017. 〈tel-01633065v2〉

Partager

Métriques

Consultations de la notice

185

Téléchargements de fichiers

153