по анализу фундаментальный и фундаментально занудный труд Кузо Principles of Abstract Interpretation? Там чудовищное кол-во бурбакизмов, которые скорее приличествуют программе на Coq, чем книге.
Не знаю, не читал. Логичнее сразу @true_grue спрашивать, что добавлять, что нет.
Я не уверен, что это вообще возможно прочесть. Там в начале глав идёт нормальные текст на английском, а дальше чудовищные формулы.
Не знаю, я ж, типа, "фанат формул" — у меня явно искажённое восприятие... 😂
В 2 страницы длиной?
Обсуждают сегодня