Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Contributions to program analysis: expressivity and scalability

Complete list of metadata

Cited literature [134 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01633065
Contributor : Laure Gonnord Connect in order to contact the contributor
Submitted on : Saturday, November 11, 2017 - 10:04:43 AM
Last modification on : Friday, September 10, 2021 - 2:34:04 PM
Long-term archiving on: : Monday, February 12, 2018 - 12:38:16 PM

File

HDR_Gonnord-11-11-2017.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01633065, version 1

Citation

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

Share

Metrics

Record views

66

Files downloads

43