In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages. It does so by ...