Alice Project

Alice Project

These pages describe the current implementation of Alice, version 1.4 (nick-named Kraftwerk), which is based on the SEAM virtual machine.

A Short Tour of Alice
The Alice ML Language
The Alice Library
Alice Constraint Programming Tutorial
Tool Support

The Alice Project,

The Alice System (c) 2002-2007 Programming System Lab, Saarland University

last modified 2007/04/15 12:47