Grundlagen der funktionalen Programmierung:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Stuttgart
Teubner
1994
|
| Schriftenreihe: | Leitfäden der Informatik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 348 S. graph. Darst. |
| ISBN: | 3519021374 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009758938 | ||
| 003 | DE-604 | ||
| 005 | 19941223 | ||
| 007 | t | ||
| 008 | 940808s1994 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 941708489 |2 DE-101 | |
| 020 | |a 3519021374 |9 3-519-02137-4 | ||
| 035 | |a (OCoLC)75490157 | ||
| 035 | |a (DE-599)BVBBV009758938 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29T |a DE-19 |a DE-20 |a DE-91G |a DE-473 |a DE-739 |a DE-384 |a DE-92 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 544f |2 stub | ||
| 100 | 1 | |a Thiemann, Peter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Grundlagen der funktionalen Programmierung |c von Peter Thiemann |
| 264 | 1 | |a Stuttgart |b Teubner |c 1994 | |
| 300 | |a 348 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Leitfäden der Informatik | |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006455539&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006455539 | ||
Datensatz im Suchindex
| _version_ | 1804124106131505152 |
|---|---|
| adam_text | Inhaltsverzeichnis
1 Einführung 11
2 Grundlegende Sprachstrukturen 15
2.1 Programmierung mit Funktionen.................... 15
2.2 Lexikalische Syntax ........................... 18
2.3 Deklarationen............................... 20
2.4 Typausdrücke............................... 23
2.5 Ausdrücke ................................ 24
2.6 Muster................................... 30
2.7 Deklarationen auf der Skriptebene................... 37
2.8 Polymorphie............................... 45
2.9 Aufgaben................................. 58
3 Funktionen höheren Typs 61
3.1 Die Funktion map............................. 62
3.2 Die Funktion
f
oldr ........................... 65
3.3 Funktionale auf Bäumen......................... 66
3.4 Verallgemeinerte map- und
f
old-Funktionale............. 67
3.5 Literaturhinweise............................. 69
3.6 Aufgaben................................. 69
4 Fallstudien 71
4.1 Auswertung von Polynomen...................... 71
4.2 Operationen auf Matrizen und Vektoren................ 72
4.3 Graphische Darstellung von Bäumen.................. 74
5 Verzögerte Auswertung 79
5.1 Auswertung ............................... 79
5.2 Newtonscher Algorithmus ....................... 80
5.3 Das Sieb des
Eratosthenes
........................ 82
5.4 Zirkuläre Datenstrukturen........................ 85
5.5 Aufgaben................................. 91
6 Programmeigenschaften 93
6.1 Induktionsbeweise............................93
6.2 Aussagen über Funktionen.......................101
6.3 Programmsynthese............................107
6.4 Programmtransformation........................109
6.5 Partielle Listen..............................112
6.6 Literaturhinweise.............................113
6.7 Aufgaben.................................113
7 Fortgeschrittene Konzepte 115
7.1 Komprehensionen für Listen......................115
7.2 Parser...................................116
7.3 Monaden.................................121
7.4 Funktionale Ein-/Ausgabe .......................129
7.5 Spezifische Eigenschaften von Haskeil und
Gofer
...........137
7.6 Literaturhinweise.............................147
7.7 Aufgaben.................................147
8 Überblick und Anwendungen 151
8.1
Lisp
....................................151
8.2 ISWIM und FP..............................154
8.3 ML.....................................154
8.4
Hope
...................................156
8.5
Miranda™................................
156
8.6 Haskeil..................................158
8.7 Anwendungen..............................159
9 Einführung in die denotationelle Semantik 161
9.1 Semantik von Funktionsgleichungen..................161
9.2 Strikt
vs.
nicht-strikt...........................164
10 Bereichstheorie 167
10.1 Vollständige Halbordnungen......................167
10.2 Konstruktion von Halbordnungen...................171
10.3 Beziehungen zwischen Bereichen....................175
10.4 Bereichsgleichungen...........................176
10.5 Literaturhinweise.............................178
10.6 Aufgaben.................................178
11 Universelle Algebra 181
11.1 Homogene Algebra ...........................181
11.2
Polymorphe
Algebra...........................187
11.3 Literaturhinweise.............................196
11.4 Aufgaben.................................197
12 Sprachen mit Funktionen erster Ordnung 199
12.1 Syntax...................................199
12.2 Semantik.................................200
12.3 Maschinenmodelle und Übersetzung..................205
12.4 Aufgaben.................................215
13 Sprachen mit Funktionen höherer Ordnung 217
13.1 Syntax...................................217
13.2 Semantik.................................218
13.3 Maschinenmodelle und Übersetzung..................221
13.4 Parallele Auswertung..........................233
13.5 Literaturhinweise.............................238
13.6 Aufgaben.................................238
14 Abstrakte Interpretation 241
14.1 Grundlagen................................241
14.2 Striktheitsanalyse.............................247
14.3 Vorwärtsanalyse.............................248
14.4 Rückwärtsanalyse............................250
14.5 Literaturhinweise.............................257
14.6 Aufgaben.................................258
15 Der
λ
-Kalkül
259
15.1 Syntax und Reduktionssemantik....................259
15.2 Darstellung rekursiver Funktionen...................263
15.3 Ein angereicherter
λ
-Kalkül
.......................267
15.4 Typen für den
λ
-Kalkül
.........................272
15.5 Semantik von Typen...........................277
15.6 Die SECD-Maschine...........................287
15.7 SKI-Kombinatorreduktion........................290
15.8 Literaturhinweise.............................299
15.9 Aufgaben.................................300
A
Grundlegende
Notation
303
В
Syntaxdiagramme von
Gofer
305
B.l Deklarationen...............................305
B.2 Typen...................................306
Б.З
Klassen- und Exemplardeklarationen..................307
B.4 Wert- und Funktionsdeklarationen...................308
B.5 Ausdrücke................................309
B.6 Muster...................................311
B.7 Variablen und Operatoren........................312
B.8 Lexikalische Syntax ...........................312
С
Kurzübersicht
Gofer
315
D
Implementierungen von
Gofer
und Haskell 317
E
Bedienung des Gofer-Interpretierers 319
Literatur 321
Sachwortverzeichnis 337
|
| any_adam_object | 1 |
| author | Thiemann, Peter |
| author_facet | Thiemann, Peter |
| author_role | aut |
| author_sort | Thiemann, Peter |
| author_variant | p t pt |
| building | Verbundindex |
| bvnumber | BV009758938 |
| classification_rvk | ST 230 ST 240 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)75490157 (DE-599)BVBBV009758938 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01435nam a2200373 c 4500</leader><controlfield tag="001">BV009758938</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19941223 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940808s1994 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941708489</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519021374</subfield><subfield code="9">3-519-02137-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75490157</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009758938</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-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</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="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Thiemann, Peter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Grundlagen der funktionalen Programmierung</subfield><subfield code="c">von Peter Thiemann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">Teubner</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">348 S.</subfield><subfield code="b">graph. Darst.</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="490" ind1="0" ind2=" "><subfield code="a">Leitfäden der Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</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 Passau</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=006455539&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-006455539</subfield></datafield></record></collection> |
| id | DE-604.BV009758938 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:40:23Z |
| institution | BVB |
| isbn | 3519021374 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006455539 |
| oclc_num | 75490157 |
| open_access_boolean | |
| owner | DE-29T DE-19 DE-BY-UBM DE-20 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-384 DE-92 DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-29T DE-19 DE-BY-UBM DE-20 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-384 DE-92 DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | 348 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Teubner |
| record_format | marc |
| series2 | Leitfäden der Informatik |
| spelling | Thiemann, Peter Verfasser aut Grundlagen der funktionalen Programmierung von Peter Thiemann Stuttgart Teubner 1994 348 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Leitfäden der Informatik Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 s DE-604 Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006455539&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Thiemann, Peter Grundlagen der funktionalen Programmierung Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4198740-8 |
| title | Grundlagen der funktionalen Programmierung |
| title_auth | Grundlagen der funktionalen Programmierung |
| title_exact_search | Grundlagen der funktionalen Programmierung |
| title_full | Grundlagen der funktionalen Programmierung von Peter Thiemann |
| title_fullStr | Grundlagen der funktionalen Programmierung von Peter Thiemann |
| title_full_unstemmed | Grundlagen der funktionalen Programmierung von Peter Thiemann |
| title_short | Grundlagen der funktionalen Programmierung |
| title_sort | grundlagen der funktionalen programmierung |
| topic | Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Funktionale Programmierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006455539&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT thiemannpeter grundlagenderfunktionalenprogrammierung |