Tristan Crolard
IdRefMots clés
FR |
EN
Objective Caml (langage de programmation)
Assistants de preuve
Coq
Effets de bord
Programmation (informatique)
Programmation fonctionnelle (informatique)
Théorie de la démonstration
Optimisation
Norme SIL 4
Compilation
Langage de programmation
Méthodes formelles
Optimisation mathématique
Microcontrôleurs
Machine virtuelle
OCaml
Programmation synchrone
WCET
Preuves
Microcontrôleurs -- Programmation