プログラム意味論

**名無しさん＠お腹いっぱい。** · 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

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

**名無しさん＠お腹いっぱい。** · 2006/08/22(火) 00:24:59

とりあえずwikipedia(ja)に項目が無いんですが、・・・

**名無しさん＠お腹いっぱい。** · 2006/08/22(火) 19:28:15

formal methodについてもここで語っておｋ？

**名無しさん＠お腹いっぱい。** · 2006/08/22(火) 19:54:46

**名無しさん＠お腹いっぱい。** · 2006/08/23(水) 16:31:30

意味論って型とか変数の有効範囲とかの研究だよね？

**名無しさん＠お腹いっぱい。** · 2006/08/23(水) 19:43:55

プログラムの意味を記述する方法論の研究でしょ？

**名無しさん＠お腹いっぱい。** · 2006/08/23(水) 21:36:19

領域理論なら中島玲二(うろおぼえ)さんの本とかあったような
図書館ですら見た事ないけど

**名無しさん＠お腹いっぱい。** · 2006/08/24(木) 00:23:08

>7
公理的意味論の範囲ならいいんでないかい。
でも、形式手法でもモデル検査とかはちょうんじゃないの。

**名無しさん＠お腹いっぱい。** · 2006/08/24(木) 19:37:25

新板出来たのに誰もこないね

**名無しさん＠お腹いっぱい。** · 2006/08/26(土) 21:05:34

学生のとき習ったけどわからなかった。
プログラマだけど改めて勉強しようかと思っている。
Davey & Priestley「Introduction to Lattices and Order」っていう本もこの分野に関係あるよね。