表示的意味論 - Wikipedia

計算機科学における表示的意味論（ひょうじてきいみろん、英: Denotational Semantics）とは、プログラミング言語の意味を形式的に記述する形式意味論（プログラム意味論）の一つの枠組みである。初期には「数理的意味論」（mathematical semantics）、「スコット＝ストレイチー意味論」（Scott–Strachey semantics）のようにも呼ばれた。表示的意味論では、記述された言語の各語句に、表示的意味（denotation）、すなわちプログラム全体の意味に対してその中に現れる各語句が担う役割を表す数学的対象（object）、を与える方法をとる[1]。 表示的意味論の起源は、1960年代のクリストファー・ストレイチーやデイナ・スコットの研究である。ストレイチーやスコットが開発した本来の表示的意味論は、プログラムの表示（意味）を入力を出力にマッピングする関数に

[paz3]

関数型プログラミング言語→ラムダ計算→圏論→領域理論→表示的意味論→アクターモデル→オブジェクト指向