Ultra: Interaktive Transformation funktionaler Programme

Willkommen auf der Seite des Ultra-Projekts. Ultra ist ein interaktives Programmtransformationssystem für Haskell-Programme. Das System ist selber in der funktionalen Programmiersprache Gofer geschrieben und verwendet TkGofer zur Implementierung seiner Benutzeroberfläche.

Unter Windows 95/NT/XP/Vista/7 können Sie Ultra 2.2 herunterladen, entpacken und mit ultra.bat starten. Überspringen Sie in diesem Fall die folgende ausführliche Anleitung.

Unter Linux und anderen Betriebssystemen installieren Sie Ultra 2.2 indem Sie

• zuerst TkGofer 2.2 installieren. Eine Anleitung zur Installation befindet sich auf der Seite von TkGofer oder in der readme-Datei. Eine Version von TkGofer 2.2 unter Windows befindet sich hier.
• Laden Sie anschließend den Quellcode von Ultra 2.2 herunter und entpacken Sie ihn in ein von TkGofer zugreifbares Verzeichnis.
• Sie können dann TkGofer 2.2 starten, die Projektdatei ultra.p laden und die Funktion main aufrufen.

Des weiteren erhalten Sie die folgende Dokumentation über Ultra:

• Das Benutzerhandbuch ist als gzip-tes PostScript (2.6 MB) verfügbar und bietet unter anderem eine Einführung in Ultra, Beispielableitungen und eine vollständige Systemreferenz.
• Sie können auch unsere Veröffentlichung lesen, die das System und eine transformationelle Ableitung des Heapsort-Algorithmus, die wir mit Ultra durchgeführt haben, beschreibt.

Neu verfügbar ist die Version Ultra 3.0, die eine Erweiterung von Ultra auf Haskell verwirklicht. Details zu den Neuerungen dieser Implementierung und zur Installation finden Sie hier. Sie erhalten Ultra 3.0 in zwei Varianten:

• als Binärcode mit einigen Bibliotheken, lauffähig unter Linux/x86 mit installiertem Tcl/Tk/Tix,
• als Quellcode; diesen selber zu Übersetzen ist zwar möglich, aber aufwendig.

Ultra wird zur Zeit hauptsächlich von Walter Guttmann betreut. Wir freuen uns über Kommentare, Vorschläge und andere Rückmeldungen von Ihrer Seite.