« Logique de séparation » : différence entre les versions
(Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == === Separation logic === In computer science, separation... ») |
m (Remplacement de texte — « Termes privilégiés » par « Français ») |
||
| Ligne 8 : | Ligne 8 : | ||
== | == Français == | ||
Version du 31 décembre 2018 à 15:54
Domaine
Définition
Français
Anglais
Separation logic
In computer science, separation logic[1] is an extension of Hoare logic, a way of reasoning about programs. It was developed by John C. Reynolds, Peter O'Hearn, Samin Ishtiaq and Hongseok Yang,[1][2][3][4] drawing upon early work by Rod Burstall.[5] The assertion language of separation logic is a special case of the logic of bunched implications (BI).[6]
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
