Ein vollständiger metazirkulärer Compiler, der in der Lage ist, eine Programmiersprache zu übersetzen, während er in derselben Sprache geschrieben ist, wurde erstmals 1951 in einer Doktorarbeit beschrieben. Diese Pionierarbeit von Corrado Böhm legte den Grundstein für die Informatik und überbrückte durch seine umfangreiche Forschung zu funktionaler Programmierung, Lambda-Kalkül und strukturierter Programmlogik die Lücke zwischen mathematischer Theorie und praktischer Maschinenimplementierung.
Akademische Grundlagen
Böhm wurde 1923 in Mailand geboren und behielt die Staatsbürgerschaft des Königreichs Italien und später Italiens. Er studierte an der ETH Zürich und an der Eidgenössischen Technischen Hochschule Lausanne. Seine formale Ausbildung in Mathematik und Logik bildete die Grundlage für seine spätere akademische Karriere als Universitätsprofessor in Turin und Rom, wo er an der Universität La Sapienza in Rom tätig war.
Beiträge zur strukturierten Programmierung
1966 verfasste Böhm gemeinsam mit Giuseppe Jacopini einen wegweisenden Artikel über Flussdiagramme und Turingmaschinen. Diese Veröffentlichung führte P'' ein, eine minimale imperative Sprache, die ohne GOTO-Anweisungen konzipiert wurde und sich als Turing-vollständig erwies. Diese Arbeit war zentral für die Entwicklung der strukturierten Programmierung und lieferte einen theoretischen Rahmen, der bis heute den Entwurf und die Implementierung moderner Programmiersprachen beeinflusst.
Lambda-Kalkül und theoretische Forschung
Böhm erzielte bedeutende Fortschritte im Lambda-Kalkül durch das heute als Böhm-Theorem bekannte Ergebnis. Dieses Resultat etablierte ein Trennungstheorem für Normalformen und bewies, dass kontextuelle Äquivalenz durch syntaktische Gleichheit bestimmt werden kann. Darüber hinaus förderte seine Forschung zum Isomorphismus zwischen polymorphen Lambda-Termen und algebraischen Datentypen, bekannt als Böhm-Berarducci-Kodierung, das Studium der Semantik funktionaler Programmierung.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Berufliche Anerkennung
Während seiner Zeit in Rom und Turin brachten Böhms Beiträge zum Konstruktivismus und zur kombinatorischen Logik ihm internationale Anerkennung ein. Er erhielt 1994 die Ehrendoktorwürde der Universität Mailand und wurde 2001 für seine herausragende Karriere mit dem EATCS-Preis ausgezeichnet. Er war zudem bis zu seinem Tod in Rom im Jahr 2017 Mitglied der Academia Europaea.
Fakten auf einen Blick
- Geboren: 1923, Mailand - Gestorben: 2017, Rom - Ausbildung: ETH Zürich, Eidgenössische Technische Hochschule Lausanne - Wichtige Auszeichnung: EATCS-Preis (2001) - Akademisches Mitglied: Academia Europaea - Ehrentitel: Universität Mailand (1994)
Fragen von Lesern
### Was ist die Böhm-Berarducci-Kodierung?
Es handelt sich um einen Isomorphismus zwischen streng positiven algebraischen Datentypen und polymorphen Lambda-Termen.
### Was bewies der Artikel von 1966 mit Giuseppe Jacopini?
Er führte P'' ein, die erste imperative Sprache ohne GOTO-Anweisung, die sich als Turing-vollständig erwies.
