40 Jahre Informatik in München - Fakultät für Informatik - TUM

Gesichtspunkte für die ingenieurmäßige Entwicklung von Programmen
hatte. Programme besitzen eine Logik. Diese Logik der Programme
kann explizit auf Konstrukte der mathematischen Logik abgebildet werden.
Auf diese Weise kann über Programme in einer vollständig logischen
Weise argumentiert werden, Aussagen über Programme können formal
abgeleitet werden. Diese logische Sicht auf Programme hat zusätzlich den
Vorteil, dass man ganz neue Einsichten über Programme erhält.
Die grundsätzliche Idee der Verwendung mathematischer Methoden, insbesondere
der mathematischen Logik, um die Aufgabe der Programmentwicklung
zu unterstützen, stand von Anfang an im Zentrum der programmierungstechnisch
orientierten Reihe der Marktoberdorf Sommerschule.
Diese Reihe wurzelt in den 70er Jahren in den frühen Arbeiten von
Dijkstra, Wirth, Hoare und Dahl zum Thema strukturierte Programmierung
in den damit motivierten Arbeiten zum Themen des Zusicherungskalküls,
aber auch den Arbeiten von F. L. Bauer zur logischen Fundierung
von Datenstrukturen unter dem Stichwort abstrakte Datentypen. Später
wurden die Themen ausgeweitet auf nebenläufige Programme und Fragen
der Kommunikation, Koordination und Interaktion.
Heute verfügt die Informatik bereits über eine solide Grundlage für die
Programm- und Softwareentwicklung, die auf Logik basiert. Die von den
Sommerschulen in Marktoberdorf gestellte programmiertechnische Frage
hat entscheidenden Anteil an der Erarbeitung und Verbreitung dieser
Grundlagen. [Manfred Broy]
Die mathematisch-logisch orientierte Reihe. Die mathematischlogisch
orientierte Reihe zeichnete sich von Anfang an aus durch einen
bunten Kranz von Aspekten; bereits 1991 waren dies
(1) Specification and Automated Deduction,
(2) Proving Techniques,
(3) Concurrency and Logic,
(4) Abstract Data Types and Operational Semantics
(5) Constructive Methods.
1993 kam hinzu Logic Programming,
1995 Introduction to Gröbner Bases und Symbolic computation,
1997 Computational Logic und Complexity of Proofs and Algorithms,
1999 Secure Computation und Program Extraction from Proofs,
2001 Proof-Carrying Code,
2003 Proof Technology,
2005 Secure Computer Systems.
In ihren Anfängen und auch späterhin bot die Reihe viele Beiträge aus
dem weiten und schier unerschöpflichen Feld der Logik, unverkennbar mit
einer Hinwendung zur Sicherheitsproblematik.
[Friedrich L. Bauer/Helmut Schwichtenberg]
202