実行意味論

ウィキペディア小見出し辞書

実行意味論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/08 01:14 UTC 版)

「プログラミング言語」の記事における「実行意味論」の解説

データを入力されれば、コンピュータはそのデータに対して何らかの処理を実行する。「実行意味論(英: execution semantics)」とは、プログラミング言語の構成要素がどの時点でどのようにして、そのプログラムの振る舞いを生成するのかを定義するものである。 例えば、式の評価戦略（先行評価、部分評価、遅延評価、短絡評価など）は実行意味論の一部である。また、制御構造における条件付実行の作法も実行意味論の一部である。