Formal Semantics

A mathematical definition of the meaning of programming language constructs, serving as the foundation for proving program corre