Formale Beschreibung von Programmiersprachen : : Eine Einführung in die Semantik / / Günter Riedewald, Piotr Dembinski, Jan Maluszynski.
Saved in:
VerfasserIn: | |
---|---|
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2022] ©1983 |
Year of Publication: | 2022 |
Edition: | Reprint 2022 |
Language: | German |
Series: | Informatik, Kybernetik, Rechentechnik ;
6 |
Online Access: | |
Physical Description: | 1 online resource (216 p.) :; Mit 37 Abbildungen und 16 Tabellen |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 05581nam a22005775i 4500 | ||
---|---|---|---|
001 | 9783112618905 | ||
003 | DE-B1597 | ||
005 | 20220729113935.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 220729t20221983gw fo d z ger d | ||
020 | |a 9783112618905 | ||
024 | 7 | |a 10.1515/9783112618905 |2 doi | |
035 | |a (DE-B1597)631955 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a ger | |
044 | |a gw |c DE | ||
072 | 7 | |a NON000000 |2 bisacsh | |
100 | 1 | |a Riedewald, Günter, |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
245 | 1 | 0 | |a Formale Beschreibung von Programmiersprachen : |b Eine Einführung in die Semantik / |c Günter Riedewald, Piotr Dembinski, Jan Maluszynski. |
250 | |a Reprint 2022 | ||
264 | 1 | |a Berlin ; |a Boston : |b De Gruyter, |c [2022] | |
264 | 4 | |c ©1983 | |
300 | |a 1 online resource (216 p.) : |b Mit 37 Abbildungen und 16 Tabellen | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | 0 | |a Informatik, Kybernetik, Rechentechnik ; |v 6 | |
505 | 0 | 0 | |t Frontmatter -- |t Vorwort -- |t Inhalt -- |t 1. Einleitung -- |t 1.1. Algorithmen und Programme -- |t 1.2. Notwendigkeit der Formalisierung der Beschreibung von Programmiersprachen -- |t 1.3. Verschiedene Vorgehensweisen der Semantikdefinition. Ein Beispiel -- |t 2. Methoden der Syntaxdefinition -- |t 2.1. Sprachen und generative Grammatiken -- |t 2.2. Kontextfreie Grammatiken -- |t 2.3. Anwendung kontextfreier Grammatiken zur Definition von Programmiersprachen -- |t 2.3.1. Backus-Naur-Form (BNF) -- |t 2.3.2. Die Beispielprogrammiersprache BPS -- |t 2.3.3. Vorteile und Grenzen kontextfreier Grammatiken als Mittel zur Definition von Programmiersprachen -- |t 2.4. Zweistufengrammatiken -- |t 2.4.1. Der Begriff der Zweistufengrammatik -- |t 2.4.2. Beschreibung der Untermenge U der Sprache BPS durch eine Zweistufengrammatik -- |t 2.4.3. Vor- und Nachteile von Zweistufengrammatiken als Mittel zur Definition von Programmiersprachen -- |t 2.5. Die abstrakte Syntax von Programmiersprachen -- |t 2.5.1. Konkrete und abstrakte Syntax -- |t 2.5.2. Die Wiener Methode der Definition der abstrakten Syntax -- |t 2.6. Bibliographie -- |t 3. Methoden der Semantikdefinition -- |t 3.1. Maschine, Sprache und Implementation -- |t 3.1.1. Der Begriff der Maschine -- |t 3.1.2. Direkte Implementation einer Programmiersprache: Interpretation und Kompilation -- |t 3.1.3. Die Computerumgebung: Variablen, Werte und Zustände -- |t 3.2. Die operationale Methode der Semantikdefinition -- |t 3.2.2. Die Wiener Methode der Semantikdefinition als Beispiel der operationalen Methode -- |t 3.2.3. Systeme semantischer Regeln -- |t 3.2.4. Verallgemeinerte Systeme semantischer Regeln -- |t 3.3. Semantikdefinition durch Fixpunkte von Gleichungssystemen -- |t 3.3.1. Gleichungssysteme und ihre Lösung -- |t 3.3.2. Fixpunktmethode und operationale Methode -- |t 3.4. Die denotionale Methode der Semantikdefinition und Übereinstimmung verschiedenartig definierter Semantiken -- |t 3.4.1. Die denotationale Methode -- |t Korrektheit und Äquivalenz semantischer Definitionen -- |t 3.5. Erweiterung: Semantik ausgewählter Programmkonstruktionen -- |t 3.5.1. Sprünge und Fortsetzung -- |t 3.5.2. Programme mit Blockstruktur -- |t 3.5.3. Prozeduren (Funktionen) -- |t 3.5.4. Bekursive Prozeduren -- |t 3.5.5. Prozeduren und Fortsetzungen -- |t 3.5.6. Ein- und Ausgabeanweisungen -- |t 3.5.7. Datentypen -- |t 3.6. Die axiomatische Methode der Semantikdefinition -- |t 3.6.1. Formalisierte Theorien und formalisierte Theorien erster Stufe für Programmiersprachen -- |t 3.6.2. Das Hoaresche System von Schlußregeln für iterative Programme -- |t 3.6.3. Ein System von Schlußregeln für Programme mit Blockstruktur und nichtrekursiyen Prozeduren -- |t 3.6.4. Ein System von Schlußregeln für rekursive Prozeduren -- |t 3.7. Bibliographie -- |t 4. Attributierte Grammaliken -- |t 4.1. Arten attributierter Grammatiken -- |t 4.1.1. Knuthsche attributierte Grammatiken -- |t 4.1.2. Grammatiken syntaktischer Funktionen -- |t 4.2. Anwendung attributierter Grammatiken zur Semantikdefinition -- |t 4.3. Bibliographie -- |t 5. Algebraische Modelle von Programmiersprachen -- |t 5.1. Algebraisches Modell für kontextfreie Programmiersprachen -- |t 5.1.1. Repräsentationsalgebra -- |t 5.1.2. Abstrakte Syntax -- |t 5.1.3. Semantische Algebren -- |t 5.2. Darstellung von Kontextbedingungen -- |t 5.3. Bibliographie -- |t Anhang -- |t Literatur -- |t Sachwortverzeichnis |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
530 | |a Issued also in print. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In German. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jul 2022) | |
650 | 7 | |a NON-CLASSIFIABLE. |2 bisacsh | |
700 | 1 | |a Dembinski, Piotr, |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
700 | 1 | |a Maluszynski, Jan, |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
776 | 0 | |c print |z 9783112618899 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9783112618905 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9783112618905 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9783112618905/original |
912 | |a EBA_BACKALL | ||
912 | |a EBA_DGALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_SSHALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA11SSHE | ||
912 | |a PDA12STME | ||
912 | |a PDA5EBK |