These pages describe the current implementation of Alice, version 1.2 (nick-named Kraftwerk), which is based on the SEAM virtual machine.
The Alice Project,
http://www.ps.uni-sb.de/alice/
The Alice System (c) 2002-2005 Programming System Lab, Saarland University