« Logique de séparation » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Pitpitt a déplacé la page Separation logic vers Logique de séparation) |
(Aucune différence)
| |
Version du 17 avril 2019 à 21:32
Domaine
Définition
La logique de séparation (en anglais « Separation Logic »), attribuée à John C. Reynolds, est une extension de la logique de Hoare. Par rapport à cette dernière, elle permet de raisonner plus simplement sur les programmes qui manipulent des structures avec champs modifiables, et des pointeurs sur de telles structures.
Français
logique de séparation
Anglais
Separation logic
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
