TY  - BOOK
AU  - Riedewald,Günter
AU  - Dembinski,Piotr
AU  - Maluszynski,Jan
TI  - Formale Beschreibung von Programmiersprachen: Eine Einführung in die Semantik 
T2  - Informatik, Kybernetik, Rechentechnik
SN  - 9783112618899
U1  - 005.13 21/eng/20230216
PY  - 2022///]
CY  - Berlin, Boston
PB  - De Gruyter
KW  - Axiomatik
KW  - Compilerbau
KW  - Compilerdesign
KW  - Formalismen
KW  - Informatik
KW  - Logik
KW  - Modellierung
KW  - Programmiersprachen
KW  - Programmverhalten
KW  - Semantik
KW  - Sprachdefinition
KW  - Sprachsemantik
KW  - Syntax
KW  - Typsysteme
KW  - denotationale Semantik
KW  - COMPUTERS / Programming Languages / General
KW  - bisacsh
N1  - Frontmatter --; Vorwort --; Inhalt --; 1. Einleitung --; 1.1. Algorithmen und Programme --; 1.2. Notwendigkeit der Formalisierung der Beschreibung von Programmiersprachen --; 1.3. Verschiedene Vorgehensweisen der Semantikdefinition. Ein Beispiel --; 2. Methoden der Syntaxdefinition --; 2.1. Sprachen und generative Grammatiken --; 2.2. Kontextfreie Grammatiken --; 2.3. Anwendung kontextfreier Grammatiken zur Definition von Programmiersprachen --; 2.3.1. Backus-Naur-Form (BNF) --; 2.3.2. Die Beispielprogrammiersprache BPS --; 2.3.3. Vorteile und Grenzen kontextfreier Grammatiken als Mittel zur Definition von Programmiersprachen --; 2.4. Zweistufengrammatiken --; 2.4.1. Der Begriff der Zweistufengrammatik --; 2.4.2. Beschreibung der Untermenge U der Sprache BPS durch eine Zweistufengrammatik --; 2.4.3. Vor- und Nachteile von Zweistufengrammatiken als Mittel zur Definition von Programmiersprachen --; 2.5. Die abstrakte Syntax von Programmiersprachen --; 2.5.1. Konkrete und abstrakte Syntax --; 2.5.2. Die Wiener Methode der Definition der abstrakten Syntax --; 2.6. Bibliographie --; 3. Methoden der Semantikdefinition --; 3.1. Maschine, Sprache und Implementation --; 3.1.1. Der Begriff der Maschine --; 3.1.2. Direkte Implementation einer Programmiersprache: Interpretation und Kompilation --; 3.1.3. Die Computerumgebung: Variablen, Werte und Zustände --; 3.2. Die operationale Methode der Semantikdefinition --; 3.2.2. Die Wiener Methode der Semantikdefinition als Beispiel der operationalen Methode --; 3.2.3. Systeme semantischer Regeln --; 3.2.4. Verallgemeinerte Systeme semantischer Regeln --; 3.3. Semantikdefinition durch Fixpunkte von Gleichungssystemen --; 3.3.1. Gleichungssysteme und ihre Lösung --; 3.3.2. Fixpunktmethode und operationale Methode --; 3.4. Die denotionale Methode der Semantikdefinition und Übereinstimmung verschiedenartig definierter Semantiken --; 3.4.1. Die denotationale Methode --; Korrektheit und Äquivalenz semantischer Definitionen --; 3.5. Erweiterung: Semantik ausgewählter Programmkonstruktionen --; 3.5.1. Sprünge und Fortsetzung --; 3.5.2. Programme mit Blockstruktur --; 3.5.3. Prozeduren (Funktionen) --; 3.5.4. Bekursive Prozeduren --; 3.5.5. Prozeduren und Fortsetzungen --; 3.5.6. Ein- und Ausgabeanweisungen --; 3.5.7. Datentypen --; 3.6. Die axiomatische Methode der Semantikdefinition --; 3.6.1. Formalisierte Theorien und formalisierte Theorien erster Stufe für Programmiersprachen --; 3.6.2. Das Hoaresche System von Schlußregeln für iterative Programme --; 3.6.3. Ein System von Schlußregeln für Programme mit Blockstruktur und nichtrekursiyen Prozeduren --; 3.6.4. Ein System von Schlußregeln für rekursive Prozeduren --; 3.7. Bibliographie --; 4. Attributierte Grammaliken --; 4.1. Arten attributierter Grammatiken --; 4.1.1. Knuthsche attributierte Grammatiken --; 4.1.2. Grammatiken syntaktischer Funktionen --; 4.2. Anwendung attributierter Grammatiken zur Semantikdefinition --; 4.3. Bibliographie --; 5. Algebraische Modelle von Programmiersprachen --; 5.1. Algebraisches Modell für kontextfreie Programmiersprachen --; 5.1.1. Repräsentationsalgebra --; 5.1.2. Abstrakte Syntax --; 5.1.3. Semantische Algebren --; 5.2. Darstellung von Kontextbedingungen --; 5.3. Bibliographie --; Anhang --; Literatur --; Sachwortverzeichnis; restricted access; Issued also in print
UR  - https://doi.org/10.1515/9783112618905
UR  - https://www.degruyter.com/isbn/9783112618905
UR  - https://www.degruyter.com/document/cover/isbn/9783112618905/original
ER  -