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