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!
|
id |
9783112618905 |
---|---|
ctrlnum |
(DE-B1597)631955 |
collection |
bib_alma |
record_format |
marc |
spelling |
Riedewald, Günter, author. aut http://id.loc.gov/vocabulary/relators/aut Formale Beschreibung von Programmiersprachen : Eine Einführung in die Semantik / Günter Riedewald, Piotr Dembinski, Jan Maluszynski. Reprint 2022 Berlin ; Boston : De Gruyter, [2022] ©1983 1 online resource (216 p.) : Mit 37 Abbildungen und 16 Tabellen text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Informatik, Kybernetik, Rechentechnik ; 6 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 http://purl.org/coar/access_right/c_16ec online access with authorization star Issued also in print. Mode of access: Internet via World Wide Web. In German. Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jul 2022) NON-CLASSIFIABLE. bisacsh Dembinski, Piotr, author. aut http://id.loc.gov/vocabulary/relators/aut Maluszynski, Jan, author. aut http://id.loc.gov/vocabulary/relators/aut print 9783112618899 https://doi.org/10.1515/9783112618905 https://www.degruyter.com/isbn/9783112618905 Cover https://www.degruyter.com/document/cover/isbn/9783112618905/original |
language |
German |
format |
eBook |
author |
Riedewald, Günter, Riedewald, Günter, Dembinski, Piotr, Maluszynski, Jan, |
spellingShingle |
Riedewald, Günter, Riedewald, Günter, Dembinski, Piotr, Maluszynski, Jan, Formale Beschreibung von Programmiersprachen : Eine Einführung in die Semantik / Informatik, Kybernetik, Rechentechnik ; 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 |
author_facet |
Riedewald, Günter, Riedewald, Günter, Dembinski, Piotr, Maluszynski, Jan, Dembinski, Piotr, Dembinski, Piotr, Maluszynski, Jan, Maluszynski, Jan, |
author_variant |
g r gr g r gr p d pd j m jm |
author_role |
VerfasserIn VerfasserIn VerfasserIn VerfasserIn |
author2 |
Dembinski, Piotr, Dembinski, Piotr, Maluszynski, Jan, Maluszynski, Jan, |
author2_variant |
p d pd j m jm |
author2_role |
VerfasserIn VerfasserIn VerfasserIn VerfasserIn |
author_sort |
Riedewald, Günter, |
title |
Formale Beschreibung von Programmiersprachen : Eine Einführung in die Semantik / |
title_sub |
Eine Einführung in die Semantik / |
title_full |
Formale Beschreibung von Programmiersprachen : Eine Einführung in die Semantik / Günter Riedewald, Piotr Dembinski, Jan Maluszynski. |
title_fullStr |
Formale Beschreibung von Programmiersprachen : Eine Einführung in die Semantik / Günter Riedewald, Piotr Dembinski, Jan Maluszynski. |
title_full_unstemmed |
Formale Beschreibung von Programmiersprachen : Eine Einführung in die Semantik / Günter Riedewald, Piotr Dembinski, Jan Maluszynski. |
title_auth |
Formale Beschreibung von Programmiersprachen : Eine Einführung in die Semantik / |
title_alt |
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 |
title_new |
Formale Beschreibung von Programmiersprachen : |
title_sort |
formale beschreibung von programmiersprachen : eine einführung in die semantik / |
series |
Informatik, Kybernetik, Rechentechnik ; |
series2 |
Informatik, Kybernetik, Rechentechnik ; |
publisher |
De Gruyter, |
publishDate |
2022 |
physical |
1 online resource (216 p.) : Mit 37 Abbildungen und 16 Tabellen Issued also in print. |
edition |
Reprint 2022 |
contents |
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 |
isbn |
9783112618905 9783112618899 |
url |
https://doi.org/10.1515/9783112618905 https://www.degruyter.com/isbn/9783112618905 https://www.degruyter.com/document/cover/isbn/9783112618905/original |
illustrated |
Not Illustrated |
doi_str_mv |
10.1515/9783112618905 |
work_keys_str_mv |
AT riedewaldgunter formalebeschreibungvonprogrammierspracheneineeinfuhrungindiesemantik AT dembinskipiotr formalebeschreibungvonprogrammierspracheneineeinfuhrungindiesemantik AT maluszynskijan formalebeschreibungvonprogrammierspracheneineeinfuhrungindiesemantik |
status_str |
n |
ids_txt_mv |
(DE-B1597)631955 |
carrierType_str_mv |
cr |
is_hierarchy_title |
Formale Beschreibung von Programmiersprachen : Eine Einführung in die Semantik / |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField |
_version_ |
1770178796531482624 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05581nam a22005775i 4500</leader><controlfield tag="001">9783112618905</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20220729113935.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">220729t20221983gw fo d z ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783112618905</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783112618905</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)631955</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">NON000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Riedewald, Günter, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Beschreibung von Programmiersprachen :</subfield><subfield code="b">Eine Einführung in die Semantik /</subfield><subfield code="c">Günter Riedewald, Piotr Dembinski, Jan Maluszynski.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Reprint 2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (216 p.) :</subfield><subfield code="b">Mit 37 Abbildungen und 16 Tabellen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Informatik, Kybernetik, Rechentechnik ;</subfield><subfield code="v">6</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Vorwort -- </subfield><subfield code="t">Inhalt -- </subfield><subfield code="t">1. Einleitung -- </subfield><subfield code="t">1.1. Algorithmen und Programme -- </subfield><subfield code="t">1.2. Notwendigkeit der Formalisierung der Beschreibung von Programmiersprachen -- </subfield><subfield code="t">1.3. Verschiedene Vorgehensweisen der Semantikdefinition. Ein Beispiel -- </subfield><subfield code="t">2. Methoden der Syntaxdefinition -- </subfield><subfield code="t">2.1. Sprachen und generative Grammatiken -- </subfield><subfield code="t">2.2. Kontextfreie Grammatiken -- </subfield><subfield code="t">2.3. Anwendung kontextfreier Grammatiken zur Definition von Programmiersprachen -- </subfield><subfield code="t">2.3.1. Backus-Naur-Form (BNF) -- </subfield><subfield code="t">2.3.2. Die Beispielprogrammiersprache BPS -- </subfield><subfield code="t">2.3.3. Vorteile und Grenzen kontextfreier Grammatiken als Mittel zur Definition von Programmiersprachen -- </subfield><subfield code="t">2.4. Zweistufengrammatiken -- </subfield><subfield code="t">2.4.1. Der Begriff der Zweistufengrammatik -- </subfield><subfield code="t">2.4.2. Beschreibung der Untermenge U der Sprache BPS durch eine Zweistufengrammatik -- </subfield><subfield code="t">2.4.3. Vor- und Nachteile von Zweistufengrammatiken als Mittel zur Definition von Programmiersprachen -- </subfield><subfield code="t">2.5. Die abstrakte Syntax von Programmiersprachen -- </subfield><subfield code="t">2.5.1. Konkrete und abstrakte Syntax -- </subfield><subfield code="t">2.5.2. Die Wiener Methode der Definition der abstrakten Syntax -- </subfield><subfield code="t">2.6. Bibliographie -- </subfield><subfield code="t">3. Methoden der Semantikdefinition -- </subfield><subfield code="t">3.1. Maschine, Sprache und Implementation -- </subfield><subfield code="t">3.1.1. Der Begriff der Maschine -- </subfield><subfield code="t">3.1.2. Direkte Implementation einer Programmiersprache: Interpretation und Kompilation -- </subfield><subfield code="t">3.1.3. Die Computerumgebung: Variablen, Werte und Zustände -- </subfield><subfield code="t">3.2. Die operationale Methode der Semantikdefinition -- </subfield><subfield code="t">3.2.2. Die Wiener Methode der Semantikdefinition als Beispiel der operationalen Methode -- </subfield><subfield code="t">3.2.3. Systeme semantischer Regeln -- </subfield><subfield code="t">3.2.4. Verallgemeinerte Systeme semantischer Regeln -- </subfield><subfield code="t">3.3. Semantikdefinition durch Fixpunkte von Gleichungssystemen -- </subfield><subfield code="t">3.3.1. Gleichungssysteme und ihre Lösung -- </subfield><subfield code="t">3.3.2. Fixpunktmethode und operationale Methode -- </subfield><subfield code="t">3.4. Die denotionale Methode der Semantikdefinition und Übereinstimmung verschiedenartig definierter Semantiken -- </subfield><subfield code="t">3.4.1. Die denotationale Methode -- </subfield><subfield code="t">Korrektheit und Äquivalenz semantischer Definitionen -- </subfield><subfield code="t">3.5. Erweiterung: Semantik ausgewählter Programmkonstruktionen -- </subfield><subfield code="t">3.5.1. Sprünge und Fortsetzung -- </subfield><subfield code="t">3.5.2. Programme mit Blockstruktur -- </subfield><subfield code="t">3.5.3. Prozeduren (Funktionen) -- </subfield><subfield code="t">3.5.4. Bekursive Prozeduren -- </subfield><subfield code="t">3.5.5. Prozeduren und Fortsetzungen -- </subfield><subfield code="t">3.5.6. Ein- und Ausgabeanweisungen -- </subfield><subfield code="t">3.5.7. Datentypen -- </subfield><subfield code="t">3.6. Die axiomatische Methode der Semantikdefinition -- </subfield><subfield code="t">3.6.1. Formalisierte Theorien und formalisierte Theorien erster Stufe für Programmiersprachen -- </subfield><subfield code="t">3.6.2. Das Hoaresche System von Schlußregeln für iterative Programme -- </subfield><subfield code="t">3.6.3. Ein System von Schlußregeln für Programme mit Blockstruktur und nichtrekursiyen Prozeduren -- </subfield><subfield code="t">3.6.4. Ein System von Schlußregeln für rekursive Prozeduren -- </subfield><subfield code="t">3.7. Bibliographie -- </subfield><subfield code="t">4. Attributierte Grammaliken -- </subfield><subfield code="t">4.1. Arten attributierter Grammatiken -- </subfield><subfield code="t">4.1.1. Knuthsche attributierte Grammatiken -- </subfield><subfield code="t">4.1.2. Grammatiken syntaktischer Funktionen -- </subfield><subfield code="t">4.2. Anwendung attributierter Grammatiken zur Semantikdefinition -- </subfield><subfield code="t">4.3. Bibliographie -- </subfield><subfield code="t">5. Algebraische Modelle von Programmiersprachen -- </subfield><subfield code="t">5.1. Algebraisches Modell für kontextfreie Programmiersprachen -- </subfield><subfield code="t">5.1.1. Repräsentationsalgebra -- </subfield><subfield code="t">5.1.2. Abstrakte Syntax -- </subfield><subfield code="t">5.1.3. Semantische Algebren -- </subfield><subfield code="t">5.2. Darstellung von Kontextbedingungen -- </subfield><subfield code="t">5.3. Bibliographie -- </subfield><subfield code="t">Anhang -- </subfield><subfield code="t">Literatur -- </subfield><subfield code="t">Sachwortverzeichnis</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In German.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jul 2022)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">NON-CLASSIFIABLE.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dembinski, Piotr, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maluszynski, Jan, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783112618899</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783112618905</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783112618905</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783112618905/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield></record></collection> |