Contributions to program analysis: expressivity and scalability

Laure Gonnord

Hdr Année : 2017

Contributions to program analysis: expressivity and scalability

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

(1, 2, 3)

1
2
3

Laure Gonnord

Fonction : Auteur
PersonId : 1749
IdHAL : laure-gonnord
ORCID : 0000-0002-8013-1611
IdRef : 125304145

Laboratoire de l'Informatique du Parallélisme

Université Claude Bernard Lyon 1

Optimisation des ressources : modèles, algorithmes et ordonnancement

Mots clés

Program analysis and optimization abstract interpretation

compilation interprétation abstraite Analyse de Programme

Domaines

Informatique et langage [cs.CL] Systèmes embarqués Algorithme et structure de données [cs.DS]

Fichier principal

HDR_Gonnord-11-11-2017.pdf (1.95 Mo)

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

Laure Gonnord : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-01633065

Soumis le : vendredi 17 novembre 2017-17:53:43

Dernière modification le : jeudi 11 mai 2023-11:56:10

Archivage à long terme le : dimanche 18 février 2018-16:35:34

Dates et versions

tel-01633065 , version 1 (11-11-2017)

tel-01633065 , version 2 (17-11-2017)

Identifiants

HAL Id : tel-01633065 , version 2

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA2 UDL

336 Consultations

393 Téléchargements

Contributions to program analysis: expressivity and scalability

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

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager