目次あり。「本書はプログラミング言語を形式化し，その性質に関して形式的に論ずるための手法を学ぶため本である．…」
⇒G.ウィンスケル/末永幸平監訳/勝股審也,中澤巧爾,西村進訳
『プログラミング言語の形式的意味論入門』
丸善出版 https://www.hanmoto.com/bd/isbn/9784621307632…

posted at 23:51:12

「…プログラミング言語に形式的意味論を与えることにより，プログラムの挙動に関する理解や推論の基礎づけが可能となる．これはプログラムの解析や検証に有用なだけでなく，様々な要素に正確な意味を与えようとすること自体が，プログラミング言語における注意を向けるべきあらゆる微妙な問題を…」

posted at 23:51:52

「…明らかにする．

本書では，読者が様々なプログラミング言語に関する形式的な議論のための手法を編み出し，形式化し，その正しさを証明することができるようになるための数学的な背景知識を解説する．数理論理学の分野から多用される手法も，…」

posted at 23:51:53

「…できるだけ初等的な範囲にとどめるようにしつつ十分に示している．

さらに本書では操作的意味論，表示的意味論，公理的意味論の3つのスタイルの意味論がいかに互いに大きく依存しあい，組み合わせられるかも示していく．」

posted at 23:51:53