意味領域

プログラムに対応する数学的対象の集まりのことを意味領域とプログラムコード（プログラム全体の集合 $P$）から意味領域（集合 $D$）への写像は、プログラムコードをオクスフォード・ブラケット（Oxford brackets）で囲むことで表現する。例えば、$[\![2+8]\!]=10$ と記述し、これを意味関数と呼ぶ。