書籍の誤植の報告や，このサイトに関する改善の提案はこちらから
本書について
『プログラミング言語の形式的意味論入門』は，Glynn Winskel による “The Formal Semantics of Programming Languages—An Introduction” の和訳です．原書はプログラムの意味を数学的に厳密に定義する手法を研究する分野であるプログラム意味論において世界的に使われている標準教科書です．刊行年は1993年と古いのですが，本書で解説されている内容はプログラム意味論の分野における入門的なトピックとして，現在も役立つ内容となっています．
ご購入はこちら
| 丸善 | Amazon | 紀伊国屋書店 | honto | 楽天ブックス | ヨドバシ.com | Honya Club | Yahoo!ショッピング |
このサイトについて
『プログラミング言語の形式的意味論入門』のサポートサイトです．これまでに見つかった誤植や誤りについて，正誤表を配布しています．
もし本書に誤植や誤りを見つけた際には，こちらから issue を立ててご報告いただけますとありがたいです．Webページの改善についても issue を立ててご提案いただければと思います．
正誤表
最終更新: 2024年5月8日