Marc Pouzet
Mots clés
FR |
EN
Compilation
Informatique
Compilation (informatique)
Systèmes embarqués
Systèmes embarqués (informatique)
Analyse statique
Langages de programmation -- Sémantique
Compilation vérifiée
Langages synchrones
Interprétation abstraite
Sémantique
Langages synchrones à flots de données
Lustre
Scade
Vélus
Coq
Synchrone
Preuve de programmes
Certification
Langages de programmation fonctionnelle