Semantics

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