Program semantics is the field of computer science that deals with the rigorous mathematical study of the meaning of programming languages. It provides the framework to understand, predict, and verify the behavior of programs by defining their meaning in a formal and precise manner.