Semantik von Programmiersprachen:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Berlin
Logos-Verl.
2001
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 239 S. 24 cm |
| ISBN: | 3897228300 |
Staff View
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV014072508 | ||
| 003 | DE-604 | ||
| 005 | 20120621 | ||
| 007 | t | ||
| 008 | 011218s2001 gw |||| |||| 00||| ger d | ||
| 016 | 7 | |a 963319256 |2 DE-101 | |
| 020 | |a 3897228300 |9 3-89722-830-0 | ||
| 035 | |a (OCoLC)76349094 | ||
| 035 | |a (DE-599)BVBBV014072508 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-573 |a DE-706 |a DE-384 |a DE-634 |a DE-83 |a DE-473 |a DE-1050 | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 100 | 1 | |a Berghammer, Rudolf |d 1952- |e Verfasser |0 (DE-588)139235965 |4 aut | |
| 245 | 1 | 0 | |a Semantik von Programmiersprachen |c Rudolf Berghammer |
| 264 | 1 | |a Berlin |b Logos-Verl. |c 2001 | |
| 300 | |a 239 S. |b 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Axiomatische Semantik |0 (DE-588)4323070-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Semantik |0 (DE-588)4194483-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Funktionale Semantik |0 (DE-588)4194483-5 |D s |
| 689 | 0 | 2 | |a Axiomatische Semantik |0 (DE-588)4323070-2 |D s |
| 689 | 0 | 3 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 4 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009638604&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009638604 | ||
Record in the Search Index
| _version_ | 1804128935854735360 |
|---|---|
| adam_text | Inhaltsverzeichnis
1 Semantische Beschreibung von Programmen 9
1.1 Beispiele für semantische Fragen........................ 9
1.2 Historische Bemerkungen............................ 13
1.3 Methoden der Semantikdefinition....................... 15
2 Grundlagen der denotationellen Semantik 21
2.1 Vollständige partielle Ordnungen, Monotonie, Stetigkeit........... 21
2.2 Semantische Algebren.............................. 27
2.3 Fixpunkttheorie................................. 37
2.4 Exkurs: Induktion und induktive Definitionen................ 51
3 Denotationelle Semantik applikativer Sprachen 59
3.1 Die Beispielsprache............................... 59
3.2 Denotationelle Semantik der Beispielsprache................. 62
3.3 Parameterübergabe in der Beispielsprache.................. 72
3.4 Eine alternative Semantikdefinition...................... 73
3.5 Fragen, die sich beim Sprachausbau ergeben................. 77
4 Denotationelle Semantik prozeduraler Sprachen 89
4.1 Die Beispielsprache............................... 89
4.2 Denotationelle Semantik der Beispielsprache................. 92
4.3 Fragen, die sich beim Sprachausbau ergeben.................100
4.4 Implementierung von denotationeller Semantik in ML............112
5 Zur Lösung rekursiver Bereichsgleichungen 123
5.1 Adjungierte Paare und Retraktionsfolgen...................123
5.2 Die Gleichung
5.3 Kegelbildung ..................................132
5.4 Lösung der Gleichung
INHALTSVERZEICHNIS
8
6 Programmverifikation und
6.1 Motivation....................................145
6.2 Verifikation mittels Fixpunkttheorie......................147
6.3 Korrektheitsbegriffe bei prozeduralen Sprachen................154
6.4 Der Hoare-Kalkül................................159
6.5 Der wp-Kalkül..................................182
7 Transformationelle Programmierung 201
7.1 Grundlagen...................................201
7.2 Die Methode des Expandierens und Komprimierens.............211
7.3 Beispiele.....................................215
A
|
| any_adam_object | 1 |
| author | Berghammer, Rudolf 1952- |
| author_GND | (DE-588)139235965 |
| author_facet | Berghammer, Rudolf 1952- |
| author_role | aut |
| author_sort | Berghammer, Rudolf 1952- |
| author_variant | r b rb |
| building | Verbundindex |
| bvnumber | BV014072508 |
| classification_rvk | ST 140 ST 240 |
| ctrlnum | (OCoLC)76349094 (DE-599)BVBBV014072508 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01850nam a22004458c 4500</leader><controlfield tag="001">BV014072508</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120621 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">011218s2001 gw |||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">963319256</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3897228300</subfield><subfield code="9">3-89722-830-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76349094</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014072508</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-1050</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Berghammer, Rudolf</subfield><subfield code="d">1952-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)139235965</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantik von Programmiersprachen</subfield><subfield code="c">Rudolf Berghammer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos-Verl.</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">239 S.</subfield><subfield code="b">24 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</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">Axiomatische Semantik</subfield><subfield code="0">(DE-588)4323070-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Semantik</subfield><subfield code="0">(DE-588)4194483-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</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">Funktionale Semantik</subfield><subfield code="0">(DE-588)4194483-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Axiomatische Semantik</subfield><subfield code="0">(DE-588)4323070-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009638604&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009638604</subfield></datafield></record></collection> |
| id | DE-604.BV014072508 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:57:09Z |
| institution | BVB |
| isbn | 3897228300 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009638604 |
| oclc_num | 76349094 |
| open_access_boolean | |
| owner | DE-739 DE-573 DE-706 DE-384 DE-634 DE-83 DE-473 DE-BY-UBG DE-1050 |
| owner_facet | DE-739 DE-573 DE-706 DE-384 DE-634 DE-83 DE-473 DE-BY-UBG DE-1050 |
| physical | 239 S. 24 cm |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Logos-Verl. |
| record_format | marc |
| spelling | Berghammer, Rudolf 1952- Verfasser (DE-588)139235965 aut Semantik von Programmiersprachen Rudolf Berghammer Berlin Logos-Verl. 2001 239 S. 24 cm txt rdacontent n rdamedia nc rdacarrier Programmiersprache (DE-588)4047409-4 gnd rswk-swf Axiomatische Semantik (DE-588)4323070-2 gnd rswk-swf Funktionale Semantik (DE-588)4194483-5 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmtransformation (DE-588)4263654-1 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s Funktionale Semantik (DE-588)4194483-5 s Axiomatische Semantik (DE-588)4323070-2 s Programmverifikation (DE-588)4135576-3 s Programmtransformation (DE-588)4263654-1 s DE-604 Digitalisierung UB Augsburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009638604&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Berghammer, Rudolf 1952- Semantik von Programmiersprachen Programmiersprache (DE-588)4047409-4 gnd Axiomatische Semantik (DE-588)4323070-2 gnd Funktionale Semantik (DE-588)4194483-5 gnd Programmverifikation (DE-588)4135576-3 gnd Programmtransformation (DE-588)4263654-1 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)4323070-2 (DE-588)4194483-5 (DE-588)4135576-3 (DE-588)4263654-1 |
| title | Semantik von Programmiersprachen |
| title_auth | Semantik von Programmiersprachen |
| title_exact_search | Semantik von Programmiersprachen |
| title_full | Semantik von Programmiersprachen Rudolf Berghammer |
| title_fullStr | Semantik von Programmiersprachen Rudolf Berghammer |
| title_full_unstemmed | Semantik von Programmiersprachen Rudolf Berghammer |
| title_short | Semantik von Programmiersprachen |
| title_sort | semantik von programmiersprachen |
| topic | Programmiersprache (DE-588)4047409-4 gnd Axiomatische Semantik (DE-588)4323070-2 gnd Funktionale Semantik (DE-588)4194483-5 gnd Programmverifikation (DE-588)4135576-3 gnd Programmtransformation (DE-588)4263654-1 gnd |
| topic_facet | Programmiersprache Axiomatische Semantik Funktionale Semantik Programmverifikation Programmtransformation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009638604&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT berghammerrudolf semantikvonprogrammiersprachen |