Le moteur de recherche
des thèses françaises
Stephen A. Edwards
IdRefMots clés
FR |
EN
Compilation
Langages de programmation fonctionnels
Langages de programmation synchrones
Systèmes de types
Circuits numériques synchrones
Langages de programmation fonctionnelle
Compilation (informatique)
Langages de programmation -- Sémantique
Systèmes embarqués
Systèmes réactifs
Langages synchrones
Esterel
Analyse statique
Simulation
Optimisation de code
Sémantique opérationnelle
Machines de Mealy
Circuits digitaux
Causalité
Embedded systems