Accreditation To Supervise Research Year : 2017

Contributions to program analysis: expressivity and scalability

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

Domains

Computation and Language [cs.CL] Embedded Systems Data Structures and Algorithms [cs.DS]
Fichier principal
Vignette du fichier
HDR_Gonnord-11-11-2017.pdf (1.95 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Laure Gonnord  : Connect in order to contact the contributor

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

Submitted on : Friday, November 17, 2017-5:53:43 PM

Last modification on : Tuesday, November 12, 2024-3:20:06 PM

Long-term archiving on : Sunday, February 18, 2018-4:35:34 PM

Download

Dates and versions

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

Identifiers

  • HAL Id : tel-01633065 , version 2

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA2 UDL
387 View
443 Download

Share

More