表示的意味論
表示的意味論（Denotational Semantics）は、プログラミング言語や計算モデルの構文的な要素に対して
数学的
な対象を割り当てることによって、プログラムの意味を定義する方法です。このアプローチでは、プログラムやその構成要素を抽象的な数理的対象に対応付け、その対象の性質を通じてプログラムの動作を理解し、分析します。
数学的に正しくプログラムを捉えることで安全性の高いものになる