プログラム理論 4/13

少ししかメモとっていない。教科書は昨年のゼミで使ったものなので、前半だけなら余裕かも！？

Textbook

SEMANTICS WITH APPLICATIONS: A Formal Introduction
Hanne Riis Nielson, Flemming Nielson
http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html

Semantics of Program















-







  意味

例えば
x := x + 1; if x > 0 then y := 0

Formail Semantics
形式的意味
　Operational Semantics （操作的意味）
　Denotational Semantics （表示的意味）（関数的意味）
　Axiomatic Semantics （公理的意味）

Frage principle （フレーゲの原則）
全体の意味は部分の意味から構成されている