Barbara Liskov und die architektonischen Fundamente moderner Software

1961 schloss Barbara Huberman ihr Mathematikstudium an der University of California, Berkeley mit dem Bachelor ab – neben ihr gab es in ihrem Hauptfach nur eine einzige weitere Studentin. Um ihre Ausbildung fortzusetzen, bewarb sie sich für Graduiertenstudiengänge in Mathematik, unter anderem an der Princeton University. Princeton lehnte ihre Bewerbung ab, da die Institution zu dieser Zeit keine weiblichen Studierenden in der Fachrichtung Mathematik zuließ. Huberman wandte sich von der reinen Mathematik ab und nahm eine Stelle bei der MITRE Corporation in Boston an, wo sie begann, sich mit der Computerprogrammierung zu beschäftigen.

Von Berkeley nach Stanford

Nach ihrem Jahr bei der MITRE Corporation und einer anschließenden Anstellung an der Harvard University, wo sie sich mit der Übersetzung von Computersprachen befasste, beschloss Huberman, ein Studium in der neu entstehenden Disziplin der Informatik aufzunehmen. Sie schrieb sich an der Stanford University ein und studierte unter dem KI-Pionier John McCarthy. Im März 1968 wurde Huberman eine der ersten Frauen in den Vereinigten Staaten, die ein Doktorat in Informatik erwarben. Ihre Dissertation untersuchte Computerprogramme zum Ausspielen von Schach-Endspielen, in deren Rahmen sie die Killer-Heuristik entwickelte – eine Technik zur Zugsortierung, die Entscheidungsbäume effizient stutzt.

Formulierung abstrakter Datentypen

Nach ihrem Wechsel an das Massachusetts Institute of Technology richtete Huberman – inzwischen Liskov – ihren Fokus auf Software-Methodik und Sprachdesign. Am 28. März 1974 veröffentlichte sie gemeinsam mit Koautor Stephen Zilles das Paper „Programming with abstract data types“. Die Arbeit definierte, wie Programme komplexe Datenstrukturen innerhalb fester Schnittstellen kapseln und so interne Implementierungsdetails vor externen Modulen verbergen können. Um diese Prinzipien in Software zu demonstrieren, entwickelte Liskov in den 1970er-Jahren die Programmiersprache CLU. In den 1980er-Jahren entwarf sie Argus, eine auf verteilte Systeme zugeschnittene Programmiersprache. Argus demonstrierte Promise-Pipelining, das es verteilten Softwarekomponenten ermöglichte, asynchrone Anfragen zu verarbeiten und die Konsistenz über Netzwerkgrenzen hinweg aufrechtzuerhalten.

Das Liskovsche Substitutionsprinzip

Als sich die objektorientierte Programmierung breiter durchsetzte, litten Softwaresysteme unter uneinheitlicher Klassenvererbung. Liskov begegnete dieser Herausforderung durch die Definition formaler Kriterien für Verhaltens-Subtyping. In Zusammenarbeit mit der Informatikerin Jeannette Wing veröffentlichte sie 1994 den Aufsatz „A behavioral notion of subtyping“. Ihr als Liskovsches Substitutionsprinzip bekanntes Framework legte fest, dass Objekte eines Subtyps Objekte eines Supertyps ersetzen können müssen, ohne die Korrektheit oder die Eigenschaften des Programms zu verändern. Diese mathematische Definition verhaltensbezogener Kompatibilität wurde zu einer zentralen Säule des objektorientierten Designs und beeinflusste direkt die Architektur und Sprachspezifikationen moderner Programmiersprachen wie Java, C++, C# und Ada.

Anerkennung auf höchster Ebene

Liskovs Arbeit brachte ihr die höchsten Ehrungen der Informatik ein. Im März 2009 verlieh ihr die Association for Computing Machinery den Turing Award für das Jahr 2008 – womit sie erst die zweite Frau war, die diesen Preis erhielt. Im Jahr 2023 zeichnete das Franklin Institute sie mit der Benjamin-Franklin-Medaille für ihre Beiträge zu Programmiersprachen und -methodiken aus. Als Institute Professor am MIT kodifizierte Liskov Techniken für verlässliches Software-Design, die den Umgang von Entwicklern mit komplexen Softwarearchitekturen nachhaltig veränderten.

Ihre Formulierung der Datenabstraktion und der Verhaltenskompatibilität von Subtypen bleibt ein universeller Standard, der weltweit in Informatikstudiengängen gelehrt wird. Die von ihr definierten Regeln bilden bis heute das Fundament für das Design von Unternehmenssoftwaresystemen, objektorientierten Datenbanken und robusten Programmiersprachen, auf die sich die globale Softwareindustrie stützt.

Titelbild: KI-generierte Illustration; kein Dokumentarfoto.

Quelle: Barbara Liskov