About some Metamorphoses of Computer Programs

Hdr Année : 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

Langage de programmation [cs.PL]

Fichier principal

hdr.pdf (874.07 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

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

Soumis le : mercredi 11 décembre 2019-20:23:11

Dernière modification le : mardi 3 octobre 2023-17:18:04

Archivage à long terme le : jeudi 12 mars 2020-22:57:28

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⟩

UNIV-PARIS7 CNRS INRIA INRIA2 USPC UP-SCIENCES IRIF

322 Consultations

358 Téléchargements