プログラミング言語の形式的意味論入門
Author(s)
Bibliographic Information
プログラミング言語の形式的意味論入門
丸善出版, 2023.1
- Other Title
-
The formal semantics of programming languages : an introduction
- Title Transcription
-
プログラミング ゲンゴ ノ ケイシキテキ イミロン ニュウモン
Available at 80 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Search this Book/Journal
Note
その他の訳者: 中澤巧爾, 西村進, 前田敦司
監訳者: 末永幸平
参考文献: p[291]-296
Description and Table of Contents
Description
本書は、Winskelによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。
Table of Contents
- 集合論の基礎
- 入門:操作的意味論
- 帰納法の原理
- 帰納的な定義
- IMPの表示的意味論
- IMPの公理的意味論
- ホーア規則の完全性
- 領域理論入門
- 再帰方程式
- 再帰の技法
- 高階型を持つ言語
- 情報システム
- 付録A 不完全性と決定不能性
by "BOOK database"