100 天阅读计划，深入剖析程序和计算机 - 抽象解释 & 静态语义 2019-01-17