Le moteur de recherche
des thèses françaises
Marc Pouzet
IdRefMots 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