
Semantik
Theorie sequentieller und paralleler Programmierung
Eike Best(Author)
Vieweg+Teubner Verlag
Published on 1. November 1994
Book
Hardback
XIV, 370 pages
978-3-528-05431-1 (ISBN)
Description
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 Datenfluß einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluß 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 praktische relevanten Beispielen versehen und enthält neben größeren Fallstudien auch Übungsaufgaben mit Musterlösungen sowie eine breite Literaturauswahl.
More details
Series
Edition
1994
Language
German
Place of publication
Wiesbaden
Germany
Publishing group
Vieweg & Teubner
Target group
Upper undergraduate
Product notice
sewn/stitched
Cloth over boards
Illustrations
Bibliography
Dimensions
Height: 24 cm
Width: 17 cm
Weight
842 gr
ISBN-13
978-3-528-05431-1 (9783528054311)
DOI
10.1007/978-3-322-86823-7
Schweitzer Classification
Other editions
Person
Prof. Dr. Eike Best lehrt Theoretische Informatik an der Universität Hildesheim. Er hat in Karlsruhe studiert, in Newcastle (England) promoviert und sich in Bonn für Informatik habilitiert. Seine Forschungsinteressen konzentrieren sich auf das Gebiet Semantik und Verifikation paralleler und verteilter Systeme.
Content
Inhalt: Mathematische Grundlagen inkl. Fixpunkttheorie - Relationale, axiomatische, prädikative Semantik sequentieller nichtdeterministischer Programme - Kontrollfluß, algebraische und Petrinetz-gestützte Ansätze - Fairness - Parallele Programme auf gemeinsamen Variablenbereichen - Kommunizierende parallele Programme - operationale Semantik - Verifikationsbeispiele.

