実行モデル

実行モデル (じっこうモデル、英: execution model)は、プログラミング言語の構成要素の一つ。 プログラミング言語は、文法/構文と実行モデルで構成される。実行モデルは、言語の要素の動作を指定する。実行モデルにより、そのプログラミング言語で書かれたプログラムの振る舞いを理解できる。たとえば、プログラマーがコードを「読んでいる」とき、頭の中でコードの各行が何をするかを考え、心の中の動作をシミュレートする。プログラマーが行っているこの作業は、実行モデルをコードに適用することである。 すべてのプログラミング言語には実行モデルがあり、作業単位（プログラムで示される）の実行がスケジュールされる方法を決定する。言語の実行モデルの仕様の例には、Pythonの実行モデル、Unified Parallel C（UPC）プログラミング言語の実行モデル、そして命令/関数型言語といったさまざまなクラスの実行モデルと、リアルタイム組み込みデバイス向け実行モデルなどがある。