About some Metamorphoses of Computer Programs

Habilitation À Diriger Des Recherches Year : 2019

A propos de quelques métamorphoses des programmes informatiques

(1, 2)

1
2

Yann Regis-Gianas

Posix shell Compilation Functional programming Software verification Incremental computing Software evolution certification

Programmation fonctionnelle Vérification du logiciel Certification de l'évolution des logiciels Calcul incrémental Coinduction

Programming Languages [cs.PL]

Fichier principal

hdr.pdf (874.07 Ko)

Origin : Files produced by the author(s)

https://inria.hal.science/tel-02405839

Submitted on : Wednesday, December 11, 2019-8:23:11 PM

Last modification on : Friday, May 17, 2024-4:10:09 PM

Long-term archiving on: Thursday, March 12, 2020-10:57:28 PM

tel-02405839 , version 1 (11-12-2019)

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