Marc Pouzet
IdRefMots clés
FR |
EN
Compilation
Informatique
Compilation (informatique)
Langages de programmation -- Sémantique
Systèmes embarqués (informatique)
Analyse statique
Systèmes embarqués
Sémantique
Langages synchrones
Interprétation abstraite
Synchrone
Preuve de programmes
Certification
Compilation vérifiée
Langages de programmation fonctionnelle
Traduction par validation
Langage flots de données
Langage impératif
Langages formels
Vérification