セマンティクス

プログラミング言語においてセマンティクスとは、ソースコード中に記述されている式、文、変数などが、正しく動作するかを判断するための基準をいう。

記述や利用方法に一定の基準を設け、そのセマンティクス上の制約への違反が確認された場合、プログラムに例外として通知する。多くの場合コンパイラーにより検出されコンパイル時に見つかるが、インタプリタの場合などでは、実行中に発見されることもある。