表示的意味論
#Fleeting_Notes
表示的意味論(Denotational semantics)
言語の意味を数学的対象として与える
表示的意味論denotational sematics はプログラミング言語 特に関数型言語 に対する意味論の一種である。「表示的」という言葉は、任意の式に対してある数学的構造の中の一つの対象を割り当てるという特徴に由来している。
ref:
表示的意味論
確認用
Q. 表示的意味論
関連
操作的意味論
公理的意味論
ドメイン
領域理論
評価
正規化
完備半順序集合
(
CPO
)
言明
上限・下限
不動点
参考
(1) 久木田水生. 表示的意味論. 哲学論叢. 2008, vol. 35, p. 189–198.
https://repository.kulib.kyoto-u.ac.jp/items/19fb5300-a572-4efe-afe8-e393784df661
メモ
Haskell/Denotational semantics - Wikibooks
『プログラミング言語の形式的意味論入門』
元:
『The formal semantics of programming languages: an introduction』
表示的意味論
調査用
Google.icon
表示的意味論(日)
Google.icon
Denotational semantics(英)
Wikipedia.icon
表示的意味論 - Wikipedia(日)
表示的意味論(検索) - Wikipedia(日)
Wikipedia.icon
Denotational semantics - Wikipedia(英)
Denotational semantics(検索) - Wikipedia(英)