Latest news:

• April 19, 2001: Internal release of Operette 2, now officially called Alice. Further info and updates will appear on its homepage from now on.



• March 14, 2001: Official Alice hompage put online.



• July 4, 2000: Release of a prototypical port of Operette 1 to Microsoft's .NET platform.



• June 16, 2000: The first prototype of the Stockhausen system, Operette 1, has been released internally.

Stockhausen is the implementation of a new language code named Alice that is currently being developed here at the Programming System Lab. It grew out of the need to combine the essential features found in Mozart with a functional core language and a flexible static type system. Stockhausen is based on Standard ML but adds:

• concurrency and distribution
• logic variables and lazy computations (futures)
• constraints
• first-class higher-order modules
• type-safe dynamic loading and marshalling/unmarshalling of modules (pickling)
• type classes

Moreover, interoperability with Mozart allows utilization of advanced libraries and tools already available.

(taken from the homepage of Karlheinz Stockhausen)

We are currently in the process of bootstrapping the Stockhausen compiler. In the current state the compiler is able to translate almost full Standard ML, plus several extensions.

The first alpha prototype, Operette 1, is now available!

The compiler provides 3 different backends:

• for the Mozart VM,
• for Microsoft .NET,
• for the Java VM.

The final product will run on its own optimized virtual machine, the Stockwerk which currently is being implemented.

At the moment, there is no real documentation or any other material available for Stockhausen. Local readers of this page may peek at the internal discussion group, which is named ps.alice.

Right now you can only download the Stockhausen logo:

• Postscript
• JPEG

Printed out on paper it will certainly prove to be a very useful item that is happy to stick to any wall available!

The following people are currently working on Stockhausen:

• Thorsten Brunklaus (design and virtual machine implementation)
• Leif Kornstaedt (design and backend implementation)
• Andreas Rossberg (design and frontend implementation)
• Gert Smolka (design)

There are also several students involved with the project:

• Gerhard Schneider
• Jan Schwinghammer
• Daniel Simon
• Andy Walter