CSC535: Overview: What is semantics? [1/21] |

Semantics is the mathematical study of the meaning of programs.

The goal is finding ways to describe program behaviors that are both **precise** and **abstract**.

- precise so that we can use mathematical tools to formalize and check interesting properties
- abstract so that properties of interest can be discussed clearly, without getting bogged down in low-level details