Peter Müller
Mots clés
FR |
EN
Logiciels -- Vérification
Typage
Langage de programmation
Vérification déductive
Logique
Alias de pointeurs
Régions
Permissions
Séparation
Modèle mémoire
Programmation impérative (informatique)
Théorie des types
Rust
Appartenance
Vérification
Itérateurs
Clôtures
Rust (langage de programmation)
Méthodes formelles (informatique)
Sémantique