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