Пройдет ли сепаратизм в логике?
В процессе штудий в области нового в языках программирования вышел на это:
Separation logic
По идее оно предназначено для safe управления ресурсами в многозадачной среде - пока не понял насколько оно осмысленно. Но название повеселило.
Separation logic
По идее оно предназначено для safe управления ресурсами в многозадачной среде - пока не понял насколько оно осмысленно. Но название повеселило.