https://tel.archives-ouvertes.fr/tel-01633065
Contributor : Laure Gonnord <>
Submitted on : Friday, November 17, 2017 - 5:53:43 PM Last modification on : Tuesday, December 24, 2019 - 9:16:08 AM Long-term archiving on: : Sunday, February 18, 2018 - 4:35:34 PM
Laure Gonnord. Contributions to program analysis: expressivity and scalability. Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017. ⟨tel-01633065v2⟩