« Logique de séparation » : différence entre les versions
mAucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
== Domaine == | ==Domaine== | ||
[[Category:Vocabulary]] | [[Category:Vocabulary]] | ||
[[Category:Intelligence artificielle]]Intelligence artificielle<br> | [[Category:Intelligence artificielle]] | ||
[[Catégorie:Logique formelle]]Logique formelle<br> | Intelligence artificielle<br> | ||
[[Catégorie:Raisonnement automatique]]Raisonnement automatique<br> | [[Catégorie:Logique formelle]] | ||
[[Category:Langage de programmation]]Langage de programmation<br> | Logique formelle<br> | ||
[[Category:Programmation logique]]Programmation logique<br> | [[Catégorie:Raisonnement automatique]] | ||
[[Category:Résolution de problèmes]]Résolution de problèmes<br> | Raisonnement automatique<br> | ||
[[Category:Langage de programmation]] | |||
Langage de programmation<br> | |||
[[Category:Programmation logique]] | |||
Programmation logique<br> | |||
[[Category:Résolution de problèmes]] | |||
Résolution de problèmes<br> | |||
[[Category:Coulombe]] | [[Category:Coulombe]] | ||
[[Catégorie:Scotty]] | [[Catégorie:Scotty]] | ||
[[Catégorie:9]] | |||
== Définition == | ==Définition== | ||
La logique de séparation ( | 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 == | ==Français== | ||
'''logique de séparation''' | '''logique de séparation''' n.f. | ||
== Anglais == | ==Anglais== | ||
'''Separation logic''' | '''Separation logic''' | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
[https://fr.wikipedia.org/wiki/Logique_de_s%C3%A9paration | [https://fr.wikipedia.org/wiki/Logique_de_s%C3%A9paration source: wikipedia] | ||
[https://tel.archives-ouvertes.fr/tel-01908769/document | [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).] | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
<br/> | <br /> | ||
Version du 18 mai 2019 à 22:42
Domaine
Intelligence artificielle
Logique formelle
Raisonnement automatique
Langage de programmation
Programmation logique
Résolution de problèmes
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 n.f.
Anglais
Separation logic
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
