Contributions to program analysis: expressivity and scalability

Complete list of metadatas

Cited literature [134 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01633065
Contributor : Laure Gonnord <>
Submitted on : Friday, November 17, 2017 - 5:53:43 PM
Last modification on : Wednesday, April 3, 2019 - 1:30:18 AM
Long-term archiving on : Sunday, February 18, 2018 - 4:35:34 PM

File

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

Identifiers

  • HAL Id : tel-01633065, version 2

Collections

Citation

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

Share

Metrics

Record views

248

Files downloads

243