Programmiersprachen und Übersetzer

Oberseminar Programmierung, WS1992/93

04.11.92

Peter Thiemann: Sicherheitsanalyse für strukturell-rekursive funktionale Programme

25.11.92

Dieter Damm: Die Semantikbeschreibung von Modula-2 in VDM-SL und ihre Auswertung auf dem Rechner

20.01.93

Johannes Brischar: Einsazmöglichkeiten des Computers in der Entscheidungsfindung

10.02.93

Martin Plümicke: Darstellung partieller Funktionen als totale Funktionen in Order-Sorted Algebras

17.02.93

Andreas Möstel: Überblick über Speicherbereinigungsverfahren

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