Le moteur de recherche
des thèses françaises
Marc Pouzet
IdRefMots clés
FR |
EN
Informatique
Compilation
Systèmes embarqués
Compilation vérifiée
Sémantique
Compilation (informatique)
Assistants de preuve
Systèmes embarqués (informatique)
Analyse statique
Interprétation abstraite
Langages de programmation -- Sémantique
Langages de programmation fonctionnelle
Programmation synchrone
Langages synchrones
Systèmes de types
Langages synchrones à flots de données
Lustre
Scade
Vélus
Coq