| 1.
図書 |
図書
|
大堀淳, ジャック・ガリグ, 西村進著
|
||||||||||||||||||||
| 2.
図書 |
図書
|
G. ウィンスケル著 ; 勝股審也 [ほか] 訳
目次情報:
続きを見る
概要:
本書は、Winskelによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を
…
読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。
続きを見る
|
