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