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 Programmierwerkzeuge.

• Scheme 48
• XEmacs
• DMdA
• Automatisierte Verifikation von low-level Zeigerprogrammen
• HDFMAS
• PinWeb

Click here for an English version of this text.

Adresse

Prof. Dr. Herbert Klaeren

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Jasminweg 21

72076 Tübingen

GERMANY

Anbieterkennung Last modified: Di 21 Nov 2023 12:19:02 CET