Définitions

Logique de séparation

La logique de séparation est une extension de la logique de Hoare, une manière de raisonner sur les programmes.

Il a été développé par John C. Reynolds, Peter O'Hearn, Samin Ishtiaq et Hongseok Yang,     s'inspirant des premiers travaux de Rod Burstall.  Le langage d'assertion de la logique de séparation est un cas particulier de la logique des implications groupées (BI).  Un article de synthèse du MCAC par O'Hearn décrit l'évolution du sujet jusqu'à début 2019

Organisme de formation

CPF, Pole Emploi, Plan de formation   OF N°11755165975 - 17 rue etex, Paris

Recevez des exclus !

Abonnez-vous et recevez des infos en exclu

24pm academy
17 rue etex 75018 Paris
O6 62 55 OO 1O

Search