Contributions to program analysis: expressivity and scalability

Laure Gonnord

Contributions to program analysis: expressivity and scalability

Contributions aux analyses de programmes, expressivité, passage à l'échelle

Laure Gonnord ^{1, 2, 3}

1 LIP - Laboratoire de l'Informatique du Parallélisme

2 UCBL - Université Claude Bernard Lyon 1

3 ROMA - Optimisation des ressources : modèles, algorithmes et ordonnancement

Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme

Mots-clés : Analyse de Programme interprétation abstraite compilation

Type de document :

HDR

Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017

Domaine :

Informatique [cs] / Informatique et langage [cs.CL]

Informatique [cs] / Systèmes embarqués

Informatique [cs] / Algorithme et structure de données [cs.DS]

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

HDR_Gonnord-11-11-2017.pdf

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

Contributions to program analysis: expressivity and scalability

Contributions aux analyses de programmes, expressivité, passage à l'échelle

Fichier

Identifiants

Collections

Citation

Exporter

Métriques

210

173

Contact

en fr Contributions to program analysis: expressivity and scalability Contributions aux analyses de programmes, expressivité, passage à l'échelle

Fichier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

210

173

Contact

Contributions to program analysis: expressivity and scalability

Contributions aux analyses de programmes, expressivité, passage à l'échelle