プログラミング言語の形式的意味論入門

丸善出版
Ｇ．ウィンスケル　末永幸平　勝股審也　中澤巧爾　西村進　

• 価格: 4,950円（本体4,500円＋税）
• 発行年月: 2023年01月
• 判型: Ａ５
• ISBN: 9784621307632

内容情報

[BOOKデータベースより]

本書は、Ｗｉｎｓｋｅｌによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。

集合論の基礎
入門：操作的意味論
帰納法の原理
帰納的な定義
ＩＭＰの表示的意味論
ＩＭＰの公理的意味論
ホーア規則の完全性
領域理論入門
再帰方程式
再帰の技法
高階型を持つ言語
情報システム
付録Ａ　不完全性と決定不能性

[日販商品データベースより]

プログラミング言語の（形式的）意味論とは、プログラムの動作を数学によって厳密に定義し、その性質について議論するための枠組みのことである。プログラムを数学の俎上に載せることにより、プログラムやプログラミング言語を厳密に理解し、解析し、これらについて推論することができるようになる。この分野は近年実用化に向けて進んでいる形式手法の礎となり、またそれ自体、様々な数学概念が飛び交う興味深い一分野を形成してきた。

本書は、Winskelによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。