Flow graphs and semantics of programs

Alan Jeffrey

COGS, University of Sussex
Brighton BN1 9QH, UK
alanje@cogs.susx.ac.uk
CTI, DePaul University
243 South Wabash Ave.
Chicago IL 60604, USA
ajeffrey@cs.depaul.edu

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