形式意味論
formal semantics
以下の3つにより構成される
単語
lexicon
統語構造
syntax
意味計算規則
semantic rule
意味計算規則
コンピュータサイエンスにおける形式的意味論という分野は、とらえどころのないプログラムの意味を明確にする方法を見つけて、それを使ってプログラミング言語に関して興味深いことを発見したり、証明したりすることに関心があります。 -- 『アンダースタンディングコンピューテーション』.icon p.18
参考
amazonのおすすめで出てきた