is in axiomatic semantics, the statement changes are defined by rigorous mathematical functions?
In programming language theory, semantics is the field concerned with the
rigorous mathematical study of the meaning of programming languages. It does
so by ...