c-lang:意味規則
意味規則
意味論
、
セマンティクス
（
semantics
）
プログラム意味論
（
program semantics
）