The ELAN Toolkit



Jtom: a (Java) To One Matching compiler

Click here

CPL: a Choice-Point Library

This library provides procedures for handling nondeterministic operations:

- setChoicePoint()
- fail()

The function setChoicePoint() when called returns the integer 0 and the computation goes on.
Then when the function fail() is called, it performs a jump into the last call of setChoicePoint() and it returns the integer 1. These functions can remind the pair of standard C functions setjmp() and longjmp(). Howerver, the longjmp() can be used only in a function called from the function setting setjmp(). Our functions haven't such a limitiation.

setChoicePoint() and fail() only save and restore machine registers and the system stack (values of local variables).


- Download
cpl-0.4.tar.gz
cpl-0.3.tar.gz
cpl-0.2.tar.gz
cpl-0.1.tar.gz


Jaterm: a Java implementation of the ATerm Library (from CWI)

- Download
The development of Jaterm is now merged with the official java ATerm Library.
A daily build is available here
jaterm-0.4.3.tar.gz
jaterm-0.4.2.tar.gz
jaterm-0.4.tar.gz
jaterm-0.3.tar.gz: new RTerm parser
jaterm-0.2.2.tar.gz
jaterm-0.2.1.tar.gz: prototype of RTerm extension
jaterm-0.2.tar.gz


Jrho: a Java implementation of the Rho Calculus

- Download
jrho-0.1.tar.gz:


Implemented by:



Last modified: Mon Dec 9 14:34:37 2002