« Logique de séparation » : différence entre les versions
m (Remplacement de texte — « <!-- Coulombe2 --> » par « ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==Définition== | ||
La logique de séparation ( ''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. | La logique de séparation ( ''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. | ||
| Ligne 19 : | Ligne 8 : | ||
'''Separation logic''' | '''Separation logic''' | ||
| Ligne 26 : | Ligne 14 : | ||
[https://tel.archives-ouvertes.fr/tel-01908769/document Source : Serban, C. (2018). Raisonnement automatisé pour la logique de séparation avec des définitions inductives (Thèse de doctorat, Grenoble Alpes).] | [https://tel.archives-ouvertes.fr/tel-01908769/document Source : Serban, C. (2018). Raisonnement automatisé pour la logique de séparation avec des définitions inductives (Thèse de doctorat, Grenoble Alpes).] | ||
[[Category:Intelligence artificielle]] | |||
[[Catégorie:Logique formelle]] | |||
[[Catégorie:Raisonnement automatique]] | |||
[[Category:Langage de programmation]] | |||
[[Category:Programmation logique]] | |||
[[Category:Résolution de problèmes]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Version du 7 mai 2020 à 13:25
Définition
La logique de séparation ( 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 nom fém.
Anglais
Separation logic
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
