Semantik

Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich für die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen. Der Datenfluss einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluss einer variablenfreien Sprache werden zunächst getrennt beschrieben und dann zu einer einheitlichen Semantik für parallele Programme zusammengefügt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansätzen. Das Buch ist vollständig mit leicht verständlichen Beweisen und praktisch relevanten Beispielen versehen und enthält neben grösseren Fallstudien auch Übungsaufgaben mit Musterlösungen sowie eine breite Literaturauswahl.