Transitions and Trees

Die strukturelle operationale Semantik ist eine einfache, aber leistungsfähige mathematische Theorie, um das Verhalten von Programmen implementierungsunabhängig zu beschreiben. Dieses Buch bietet eine in sich geschlossene Einführung in die strukturelle operationale Semantik mit semantischen Definitionen unter Verwendung der Big-Step- und Small-Step-Semantik vieler Standard-Programmiersprachenkonstrukte, einschließlich Kontrollstrukturen, strukturierter Deklarationen und Objekte, Parametermechanismen und prozeduraler Abstraktion, Nebenläufigkeit, Nondeterminismus und den Funktionen funktionaler Programmiersprachen. Auf dem Weg dorthin führt der Text in die relevanten Beweistechniken ein und wendet sie an, einschließlich Induktionsformen und Begriffe der semantischen Äquivalenz (einschließlich Bisimilarität). Dieses Buch wurde gründlich im Unterricht getestet und hat sich aus Vorlesungsnotizen entwickelt, die der Autor über einen Zeitraum von 10 Jahren an der Universität Aalborg verwendet hat, um Studenten und Doktoranden zu unterrichten. Das Ergebnis ist eine gründliche Einführung, die das Thema für Studenten und Computerfachleute verständlich macht, ohne dabei an Strenge einzubüßen. Es sind keine Kenntnisse in einer bestimmten Programmiersprache erforderlich. Sprache: Englisch