programming language semantics

Also known as semantics, formal semantics, program semantics

the field concerned with the rigorous mathematical study of the meaning of programming languages