Domains and Lambda-Calculi

Dieses Buch beschreibt die mathematischen Aspekte der Semantik von Programmiersprachen. Die Hauptziele sind die Bereitstellung formaler Werkzeuge, um die Bedeutung von Programmierkonstrukten sowohl sprach- als auch maschinenunabhängig zu beurteilen und Eigenschaften von Programmen zu beweisen, z. B. ob sie beendet werden oder ob ihr Ergebnis eine Lösung des Problems ist, das sie lösen sollen. Um dies zu erreichen, stellen die Autoren zunächst in elementarer und einheitlicher Weise die Theorie bestimmter topologischer Räume vor, die sich bei der Modellierung verschiedener Familien typisierter Lambda-Kalküle bewährt haben, die als Kernprogrammiersprachen und als Metasprachen für die denotationale Semantik betrachtet werden. Diese Theorie ist als Domänentheorie bekannt und wurde von Scott und Plotkin als Thema begründet. Eines der Hauptanliegen ist es, Verbindungen zwischen mathematischen Strukturen und syntaktischen Ansätzen der Semantik herzustellen, die oft als operationale Semantik bezeichnet werden, die auch beschrieben wird. Dieser duale Ansatz hat den doppelten Vorteil, dass er Informatiker für Mathematik motiviert und Mathematiker für unbekannte Anwendungsgebiete aus der Informatik interessiert. Sprache: Englisch