Manfred Broy

Informatik. Eine grundlegende Einführung

Teil III: Systemstrukturen und systemnahe Programmierung

• Broschiertes Buch

Produktbeschreibung

Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken für Systeme, z.B. Petri-Netze und die Hoare'sche Notation für kommunizierende, sequentielle Programme, vorgestellt sowie die Programmierung parallel ablaufender Programme. Weiter werden typische Aspekte der systemnahen Programmierung wie Aufbau und Wirkungsweise von Betriebssystemen besprochen sowie die syntaktischen und semantischen Aspekte der Implementierung von Programmiersprachen. Dabei werden für eine einfache funktionale Sprache beispielhaft ein Übersetzer und ein Interpretierer angegeben.

Produktdetails

• Springer-Lehrbuch
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-57672-3
• 1994.
• Seitenzahl: 200
• Erscheinungstermin: 9. September 1994
• Deutsch
• Abmessung: 235mm x 155mm x 12mm
• Gewicht: 314g
• ISBN-13: 9783540576723
• ISBN-10: 354057672X
• Artikelnr.: 24965192

Inhaltsangabe

1. Prozesse, Kommunikation und Koordination in verteilten Systemen.- 1.1 Prozesse.- 1.2 Systembeschreibungen durch Mengen von Prozessen.- 1.3 Programmiersprachen zur Beschreibung kommunizierender Systeme.- 2. Betriebssysteme und Systemprogrammierung.- 2.1 Grundlegende Betriebssystemaspekte.- 2.2 Benutzerrelevante Aspekte von Betriebssystemen.- 2.3 Betriebsmittelzuteilung.- 2.4 Implementierungstechniken der Systemprogrammierung.- 2.5 Betriebssystemstrukturen.- 3. Interpretation und Übersetzung von Programmen.- 3.1 Lexikalische Analyse von Programmiersprachen.- 3.2 Zerteilung von Programmen.- 3.3. Kontextbedingungen.- 3.4 Interpretation von Programmiersprachen.- 3.5 Allgemeine Bemerkungen zu Interpretern.- Literaturangaben.- Stichwortverzeichnis.