Repository landing page
A propos de quelques métamorphoses des programmes informatiques
Abstract
Abstract is not available.- info:eu-repo/semantics/other
- Habilitation à diriger des recherches
- 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
- [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]