For questions about meaning. Distinct from syntactics.
Semantics (from Ancient Greek: σημαντικός sēmantikos, "significant") is the linguistic and philosophical study of meaning, in language, programming languages, formal logics, and semiotics. It is concerned with the relationship between signifiers—like words, phrases, signs, and symbols—and what they stand for, their denotation.
Semantics (wikipedia)
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages. It does so by evaluating the meaning of syntactically legal strings defined by a specific programming language, showing the computation involved. In such a case that the evaluation would be of syntactically illegal strings, the result would be non-computation. Semantics describes the processes a computer follows when executing a program in that specific language. This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will execute on a certain platform, hence creating a model of computation.
Semantics - Computer Science (wikipedia)
SEE ALSO:
Semantic equivalence
Computational semantics
Semantics of logic
Formal semantics (linguistics)