プログラム意味論

**名無しさん＠お腹いっぱい。** · 2006/08/21(月) 02:43:29

操作的意味論、表示的意味論、公理的意味論、なんでもウェルカム。
教科書読んでて意味不明になったら、質問するのもいいね。
プログラムの理論をやるなら教養の部類に入る分野なんで、ガンバロー。

参考書リスト
(1) 和書
(a) プログラム意味論横内寛文共立出版
(2) 洋書
(b) The Formal Semantics of Programming Languages : An Introduction,
Glynn Winskel, MIT Press.
(c) Semantics of Programming Languages : Structures and Techniques,
Carl A. Gunter, MIT Press.

他にも適切なものがあったら、追加をお願いします。

関連スレ
Domain Theory 領域理論
http://science4.2ch.net/test/read.cgi/informatics/1156004424/

**名無しさん＠お腹いっぱい。** · 2006/08/21(月) 05:07:17

これだから広島は

**名無しさん＠お腹いっぱい。** · 2006/08/21(月) 15:25:55

これって何する分野

**名無しさん＠お腹いっぱい。** · 2006/08/21(月) 17:01:24

>>3
プログラム意味論

**名無しさん＠お腹いっぱい。** · 2006/08/21(月) 23:51:59

トートロジーはなにも語らない。