[ Jocelyn Ireson-Paine's Home Page | Publications ]

Programs

Kawa pattern-matching macro.
WSM - Kawa servlet for compiling interactive Web pages and handling state transitions.
Kawa module-dependency analyser.
WOM - Java system for compiling and executing interactive Web pages.
Java code for reading and writing data against Fortran formats.
CafeOBJ code for algebraic Web specification.
Public-domain Prolog library.
GRIPS - "functional Prolog" pre-processor.
Autotest - automatic tester for Prolog.
Binary holographic reduced representations for Prolog.

30th December 2010