プログラミング言語の形式的意味論入門
著者
書誌事項
プログラミング言語の形式的意味論入門
丸善出版, 2023.1
- タイトル別名
-
The formal semantics of programming languages : an introduction
- タイトル読み
-
プログラミング ゲンゴ ノ ケイシキテキ イミロン ニュウモン
大学図書館所蔵 全80件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
その他の訳者: 中澤巧爾, 西村進, 前田敦司
監訳者: 末永幸平
参考文献: p[291]-296
内容説明・目次
内容説明
本書は、Winskelによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。
目次
- 集合論の基礎
- 入門:操作的意味論
- 帰納法の原理
- 帰納的な定義
- IMPの表示的意味論
- IMPの公理的意味論
- ホーア規則の完全性
- 領域理論入門
- 再帰方程式
- 再帰の技法
- 高階型を持つ言語
- 情報システム
- 付録A 不完全性と決定不能性
「BOOKデータベース」 より