Thinking Programs
Logical Modeling and Reasoning About Languages, Data,
Computations, and Executions

In diesem Buch werden grundlegende Prinzipien beschrieben, die es Software-Entwickler:innen (Computer-Wissenschaftler:innen, Software-Ingenieur:innen, Programmierer:innen) erlauben, klar strukturiert über die in ihrer tagtäglichen Arbeit erschaffenen Artifakte nachzudenken: Datentypen, Programmiersprachen und in diesen Sprachen geschriebene Programme, die aus gegebenen Eingaben gewünschte Ausgaben berechnen oder die kontinuierliche Systeme beschreiben. Die Kernbotschaft des Buches ist die, dass klares Denken über Programme in einer einzigen universellen Sprache ausgedrückt werden kann, der formalen Sprache der Logik. Abgesehen von der universellen Eleganz und Ausdrucksstärke hat dieser "logische" Zugang zum formalen Modellieren und Argumentieren über Computerprogramme einen weiteren Vorteil: durch die Fortschritte im Bereich der Computerlogik (Automatisches Beweisen, Lösen von Erfüllbarkeitsproblemen, Model Checking) kann ein immer größer werdender Teil dieses Prozesses selbst durch Software unterstützt werden. Ergänzend zu den theoretischen Ausführungen im Buch dienen praktische Demonstrationen von verschiedenen Systemen und Werkzeugen, die auf dem beschriebenen logischen Unterbau aufbauen oder davon Gebrauch machen.

Autor

Wolfgang Schreiner
Institut für Symbolisches Rechnen (RISC)
Johannes Kepler Universität Linz, Österreich

Wolfgang Schreiner ist assoziierter Professor am Institut für Symbolisches Rechnen (RISC) an der Johannes Kepler Universität Linz, Österreich. Seine Forschung beschäftigt sich mit Formalen Methoden in den Computer-Wissenschaften (mit früheren Arbeiten im parallelen und funktionalen Programmieren), und er entwickelte mehrere Software-Pakete im Bereich formaler Semantik, Spezifikation, und Verifikation, insbesondere den RISC ProofNavigator, den RISC ProgramExplorer und die RISC Algorithm Language (RISCAL). Darüberhinaus leitete er den Studiengang Computer-based Learning an der Fachhochschule Hagenberg.

Bibliographische Daten

Wolfgang Schreiner
Thinking Programs - Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Texts & Monographs in Symbolic Computation
Springer, Cham, 2021
636 pages
ISBN: 978-3-030-80506-7
DOI: 10.1007/978-3-030-80507-4

Download und Link
https://doi.org/10.1007/978-3-030-80507-4, öffnet eine externe URL in einem neuen Fenster