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

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

意味論（Semantics）

アバウトネス（aboutness）

メタデータ（meta data）