Wilhelm-Schickard-Institut

Programmiersprachen und Übersetzer

Forschung

Wir studieren theoretische und praktische Aspekte der Programmierung. Themen sind: Algebraische Spezifikation, Semantik, Verifikation, Entwurf und Implementierung von Programmiersprachen, Software Engineering, Programmiermethodik, Programmierumgebungen und Programmierwerkzeugen.

• Partielle Auswertung
• Scheme requests for implementation
• Scheme 48
• Scsh
• El2scm

Click here for an English version of this text.

Adresse

Prof. Dr. Herbert Klaeren

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Sand 13

D-72076 Tübingen

Germany

Fon:

+49 7071 29-78955

Fax:

+49 7071 29-5082