Flow graphs and semantics

In [Je97], Jeffrey gives a precise relationship between

• mixed data and control flow graphs , which are commonly used in software engineering as a semi-formal notation for describing and analysing algorithms
• and an abstract representation of formal semantics which uses partially traced Cartesian categories.

This document also contains some more speculative work on how closed structure (to represent higher-order functions) or two-category structure (to represent operational semantics) might be included in this graphical framework.

[[Je97]] A. Jeffrey.
Flow graphs and semantics of programs.
available from http://www.cogs.susx.ac.uk/users/alanje/premon/, 1997.