The ELAN Toolkit

Jtom: a (Java) To One Matching compiler

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:

• Horatiu Cirstea
• Pierre-Etienne Moreau
• Christophe Ringeissen
• Marian Vittek