操作的意味論

操作的意味論（そうさてきいみろん、Operational Semantics）とは、プログラムの意味を数学的に厳密に与える計算機科学の手法の一種（プログラム意味論参照）。 == 概要 == プログラミング言語の操作的意味論は、有効なプログラムを計算ステップのシーケンスとして解釈する様子を記述する。

この神経はここで途切れています。