Semantik von Programmiersprachen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1989
|
| Schriftenreihe: | Studienreihe Informatik
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau |
| Beschreibung: | 1 Online-Ressource (IX, 202S.) |
| ISBN: | 9783642702716 9783540151630 |
| ISSN: | 1431-8792 |
| DOI: | 10.1007/978-3-642-70271-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042432908 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1989 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642702716 |c Online |9 978-3-642-70271-6 | ||
| 020 | |a 9783540151630 |c Print |9 978-3-540-15163-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-70271-6 |2 doi | |
| 035 | |a (OCoLC)863807700 | ||
| 035 | |a (DE-599)BVBBV042432908 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.13 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Fehr, Elfriede |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Semantik von Programmiersprachen |c von Elfriede Fehr |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1989 | |
| 300 | |a 1 Online-Ressource (IX, 202S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studienreihe Informatik |x 1431-8792 | |
| 500 | |a Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-70271-6 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027868238 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153117658316800 |
|---|---|
| any_adam_object | |
| author | Fehr, Elfriede |
| author_facet | Fehr, Elfriede |
| author_role | aut |
| author_sort | Fehr, Elfriede |
| author_variant | e f ef |
| building | Verbundindex |
| bvnumber | BV042432908 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863807700 (DE-599)BVBBV042432908 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-70271-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03013nmm a2200517zc 4500</leader><controlfield tag="001">BV042432908</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1989 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642702716</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-70271-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540151630</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-15163-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-70271-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863807700</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042432908</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fehr, Elfriede</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantik von Programmiersprachen</subfield><subfield code="c">von Elfriede Fehr</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 202S.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studienreihe Informatik</subfield><subfield code="x">1431-8792</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-70271-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868238</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042432908 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:31Z |
| institution | BVB |
| isbn | 9783642702716 9783540151630 |
| issn | 1431-8792 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868238 |
| oclc_num | 863807700 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| physical | 1 Online-Ressource (IX, 202S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Studienreihe Informatik |
| spelling | Fehr, Elfriede Verfasser aut Semantik von Programmiersprachen von Elfriede Fehr Berlin, Heidelberg Springer Berlin Heidelberg 1989 1 Online-Ressource (IX, 202S.) txt rdacontent c rdamedia cr rdacarrier Studienreihe Informatik 1431-8792 Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau Computer science Logic design Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Informatik Programmiersprache (DE-588)4047409-4 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s Semantik (DE-588)4054490-4 s 1\p DE-604 https://doi.org/10.1007/978-3-642-70271-6 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Fehr, Elfriede Semantik von Programmiersprachen Computer science Logic design Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Informatik Programmiersprache (DE-588)4047409-4 gnd Semantik (DE-588)4054490-4 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)4054490-4 |
| title | Semantik von Programmiersprachen |
| title_auth | Semantik von Programmiersprachen |
| title_exact_search | Semantik von Programmiersprachen |
| title_full | Semantik von Programmiersprachen von Elfriede Fehr |
| title_fullStr | Semantik von Programmiersprachen von Elfriede Fehr |
| title_full_unstemmed | Semantik von Programmiersprachen von Elfriede Fehr |
| title_short | Semantik von Programmiersprachen |
| title_sort | semantik von programmiersprachen |
| topic | Computer science Logic design Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Informatik Programmiersprache (DE-588)4047409-4 gnd Semantik (DE-588)4054490-4 gnd |
| topic_facet | Computer science Logic design Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Informatik Programmiersprache Semantik |
| url | https://doi.org/10.1007/978-3-642-70271-6 |
| work_keys_str_mv | AT fehrelfriede semantikvonprogrammiersprachen |