(Untitled)

[yura_bronnikov]

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

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

Comments

[yura_bronnikov]

(Комментарии из FreeFeed)

Расскажешь при случае, про что это вообще? Key Insights я прочитал, но так и не понял, стоит ли мне читать саму статью. - 2:5020/2027.27 (yushi) - more - Mar 6, 2019

Да, конечно, расскажу. - You - edit | more - Mar 6, 2019