プログラム意味論
プログラム意味論の分野には、以下のようなものが含まれる:
意味論的モデルの定義
異なる意味論的モデル間の関係
意味についての異なるアプローチ間の関係
計算とその根底にある数学的構造(数理論理学、集合論、モデル理論、圏論)との関係
コンピュータ科学の中で密接に関連する分野として、プログラミング言語、型理論、コンパイラやインタプリタ等のプログラミング言語処理系、形式的検証、モデル検査などがある。
プログラム意味論(プログラムいみろん、英: program semantics)とは、計算機科学(特に理論計算機科学と分類されることもある)の一分野で、プログラミング言語の意味と計算モデルに関する分野である。形式的なものは、プログラミング言語の形式意味論とも呼ばれる。標準規格等では形式的でなく意味論を与えているものも多い。