(no subject)

[yura_bronnikov]

(Перенесено из FreeFeed с сохранением даты.)

Прочёл обзорную статью про Separation Logic. cacm.acm.org/magazines/2019/2/234356-separation-… Впечатлён. Хочу знать больше.