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 [141 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 : mardi 16 janvier 2018 - 15:34:21

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

54

Téléchargements de fichiers

39