セマンティクス

プログラミング言語において、ソースコード中で利用されている変数や文が正しく動作するかを判断する基準のこと。

たとえば、ヌルが定数として定義されている値がアドレス参照のために使われていると、セマンティクスに違反しているとみなして、エラーと判断する。