Flow graphs and semantics of programs

Alan Jeffrey

COGS, University of Sussex
Brighton BN1 9QH, UK
CTI, DePaul University
243 South Wabash Ave.
Chicago IL 60604, USA

June 1998

This document describes a categorically motivated graphical presentation of the semantics of programs, including an implementation as a Java applet.

These papers contain Java 1.1, so should be viewed in a recent browser such as Netscape 4.5 or Internet Explorer 4. The applet was compiled using the freeware Kaffe compiler, which in turn uses the Pizza compiler.

Semantics | Slides | Demonstration | API