Логика разделения (Separation logic) – расширение логики Хоара – это способ рассуждения о программах. Язык утверждений логики разделения является частным случаем логики сгруппированных импликаций (BI).
[Чесалов А. Ю. Глоссариум по искусственному интеллекту: 2500 терминов/ А. Ю. Чесалов — «Издательские решения» 2022 г., 670 стр.]
Логика разделения — расширение логики Хоара, способ рассуждать о программах. Язык утверждений логики разделения — это частный случай логики сгруппированных импликаций (BI).
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]