Software

Here you find and overview of software, which is developed by our group.

This page is currently under construction, so it does not represent a complete list, yet.

Katja

Katja is a tool which generates rich Java libraries for order-sorted, immutable datatypes from concise specifications. Katja allows you to easily define immutable datatypes, which you can then use by adding a generated library to your system. It is a successor to the MAX tool developed by Arnd Poetzsch-Heffter. For more information consult the main Katja page.

JCoBox

JCoBox is a programming language, which extends Java by a new concurrency concept, called CoBoxes. A compiler for JCoBox has been implemented and can be used to write concurrent Java programs using CoBoxes instead of threads and locks. For more information consult the main JCoBox page.