[
Jocelyn 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
.
Introductory Prolog programs
.
Public-domain Prolog library
.
GRIPS - "functional Prolog" pre-processor
.
Autotest - automatic tester for Prolog
.
15 October 2004
[
Jocelyn Paine's Home Page
|
Publications
]