Introduction
Two ways to give semantics to programs are:
- As data flow / control flow graphs, or
- Categorically.
Flow graphs are usually semi-formal, common SE practice.
Categorical semantics is formal, specialist material.
This talk describes a link between the two.