Contributions to program analysis: expressivity and scalability - TEL - Thèses en ligne
Hdr Année : 2017

Contributions to program analysis: expressivity and scalability

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

Domaines

Informatique et langage [cs.CL] Systèmes embarqués Algorithme et structure de données [cs.DS]
Fichier principal
Vignette du fichier
HDR_Gonnord-11-11-2017.pdf (1.95 Mo) Télécharger le fichier
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 : mardi 12 novembre 2024-15:20:06

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

Télécharger pour visualiser

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
382 Consultations
425 Téléchargements

Partager

More