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

＜図書＞
プログラミング言語の形式的意味論入門
プログラミングゲンゴノケイシキテキイミロンニュウモン

責任表示	G. ウィンスケル著 ; 勝股審也 [ほか] 訳
データ種別	図書
出版情報	東京 : 丸善出版 , 2023.1
本文言語	日本語
大きさ	ix, 301p : 挿図 ; 21cm
概要	本書は、Winskelによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。
目次	集合論の基礎入門:操作的意味論帰納法の原理帰納的な定義 IMPの表示的意味論 IMPの公理的意味論ホーア規則の完全性領域理論入門再帰方程式再帰の技法高階型を持つ言語情報システム付録A 不完全性と決定不能性続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図1F 開架	007.64/W 77	2023		130012023003212		予約・取寄			予約・取寄

別書名	原タイトル:The formal semantics of programming languages : an introduction
一般注記	その他の訳者: 中澤巧爾, 西村進, 前田敦司監訳者: 末永幸平参考文献: p[291]-296
著者標目	Winskel, Glynn 勝股, 審也 <カツマタ, シンヤ> 中澤, 巧爾 <ナカザワ, コウジ> 西村, 進 <ニシムラ, ススム> 前田, 敦司(1962-) <マエダ, アツシ> 末永, 幸平 <スエナガ, コウヘイ>
件　名	BSH:プログラミング(コンピュータ) NDLSH:プログラミング用言語 NDLSH:意味論
分　類	NDC9:007.64 NDC10:007.64 NDLC:M159
書誌ID	1001778336
ISBN	9784621307632
NCID	BD00399346
巻冊次	ISBN:9784621307632 ; PRICE:4950円
NBN	JP23799607
登録日	2023.06.16
更新日	2023.06.16