Пройдет ли сепаратизм в логике?

В процессе штудий в области нового в языках программирования вышел на это:

Separation logic

По идее оно предназначено для safe управления ресурсами в многозадачной среде - пока не понял насколько оно осмысленно. Но название повеселило.