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.
• Introductory Prolog programs.
• Public-domain Prolog library.
• GRIPS - "functional Prolog" pre-processor.
• Autotest - automatic tester for Prolog.

[ Jocelyn Paine's Home Page | Publications ]