プログラミング言語の形式的意味論入門
Author(s)
Bibliographic Information
プログラミング言語の形式的意味論入門
丸善出版, 2023.1
- Other Title
-
The formal semantics of programming languages : an introduction
- Title Transcription
-
プログラミング ゲンゴ ノ ケイシキテキ イミロン ニュウモン
Available at / 82 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.64-W7710023005020
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
その他の訳者: 中澤巧爾, 西村進, 前田敦司
監訳者: 末永幸平
参考文献: p[291]-296
Description and Table of Contents
Description
本書は、Winskelによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。
Table of Contents
- 集合論の基礎
- 入門:操作的意味論
- 帰納法の原理
- 帰納的な定義
- IMPの表示的意味論
- IMPの公理的意味論
- ホーア規則の完全性
- 領域理論入門
- 再帰方程式
- 再帰の技法
- 高階型を持つ言語
- 情報システム
- 付録A 不完全性と決定不能性
by "BOOK database"