Formale Beschreibung von Programmiersprachen: Eine Einführung in die Semantik

Medientyp: E-Book

Titel: Formale Beschreibung von Programmiersprachen : Eine Einführung in die Semantik

Enthält: 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

Beteiligte: Riedewald, Günter [Verfasser:in]; Dembinski, Piotr [Verfasser:in]; Maluszynski, Jan [Verfasser:in]

Erschienen: Berlin; Boston: De Gruyter, [2022]

Ausgabe: Reprint 2022

Umfang: 1 Online-Ressource (216 p.); Mit 37 Abbildungen und 16 Tabellen

Sprache: Deutsch

DOI: 10.1515/9783112618905

ISBN: 9783112618905

Identifikator:

Schlagwörter: NON-CLASSIFIABLE

Reproduktionsnotiz: Issued also in print

Entstehung:

Anmerkungen: In German

Zugangsstatus: Eingeschränkter Zugang | Informationen zu lizenzierten elektronischen Ressourcen der SLUB

Formale Beschreibung von Programmiersprachen - [Reprint 2022]

Merkliste

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: