Molecular programming: from program algebra to Java

Jan Bergstra


Molecular programming is a simplistic program notation able to deal with the core features of object orientation. It will be used to explain the behavior of a notorious 10 line Java program.

In addition some time will be spent on the program algebra perspective on structured programming: goto's are more epressive than while loops!
Tuesday 29th January 2002, 14:00
Robert Recorde Room
Department of Computer Science