is in axiomatic semantics, the statement changes are defined by rigorous mathematical functions? code example

Example: 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 ...