Логика разделения
Логика разделения (Separation logic) – расширение логики Хоара – это способ рассуждения о программах. Язык утверждений логики разделения является частным случаем логики сгруппированных импликаций (BI). [Чесалов А. Ю. Глоссариум по искусственному