TL;DR プログラムに数学的な意味を与えることで、プログラムの動作を厳密に議論できるようにするプログラム意味論の入門書である。 対象読者 プログラム意味論を初めて学ぶ学生向けの教科書である。演習問題が適宜配置されている。 目次 数学の予備知識 プログラミング言語の構文 操作的意味論 プログラムの性質に関する推論 ホーア論理 表示的意味論 λ計算 型つきλ計算 関連 ラムダ計算 形式手法 出版社の書籍ページ