Flemming Nielson 先生の Principles of Program Analysis を読みはじめることにした。

きっかけ

もともとコードの静的解析などには興味があった。あと論理学の類を大学前期で勉強して、なかなか面白そうだなという印象があった。

(2) からは 1 Chapter 読み進めるごとに感想や頭の中の整理を書いていこうと思う。