Le moteur de recherche
des thèses françaises
Yannick Zakowski
IdRefMots clés
FR |
EN
Concurrence
Coq
Glaneur de cellule
Rely-Guarantee
Algorithmes
Compilation (informatique)
Débogage
Espace de tas
Glaneur de cellules
Vérification formelle
Logique de séparation
Gestion mémoire (informatique)
Nettoyage de mémoire (informatique)
Logiciels -- Vérification
Séparation (informatique)
Sémantique
Bisimulation
LLVM
Rocq
Langages de programmation -- Sémantique