Frédéric Dabrowski
IdRefMots clés
FR |
EN
Programmation parallèle (informatique)
Sémantique formelle
Parallélisme
Compilation
Compilation (informatique)
Vérification
Analyse statique
Logiciels -- Vérification
Dynamique des fluides
Langages de programmation
Systèmes à réaction
Processus léger
Section atomique
Verrou
Bonne synchronisation
Trace de programme
Atomicité
Assistant de preuve
Sémantique opérationnelle
Préservation de la sémantique