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

About some Metamorphoses of Computer Programs

Yann Regis-Gianas 1, 2 
2 PI.R2 - Design, study and implementation of languages for proofs and programs
UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, Inria de Paris
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [154 references]  Display  Hide  Download

https://hal.inria.fr/tel-02405839
Contributor : Yann Regis-Gianas Connect in order to contact the contributor
Submitted on : Wednesday, December 11, 2019 - 8:23:11 PM
Last modification on : Tuesday, October 25, 2022 - 4:16:57 PM
Long-term archiving on: : Thursday, March 12, 2020 - 10:57:28 PM

File

hdr.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02405839, version 1

Citation

Yann Regis-Gianas. About some Metamorphoses of Computer Programs. Programming Languages [cs.PL]. Université Paris Diderot, 2019. ⟨tel-02405839⟩

Share

Metrics

Record views

287

Files downloads

301