Availability: Grundlagen der funktionalen Programmierung

Grundlagen der funktionalen Programmierung:

Saved in:

Bibliographic Details
Main Author:	Thiemann, Peter (Author)
Format:	Book
Language:	German
Published:	Stuttgart Teubner 1994
Series:	Leitfäden der Informatik
Subjects:	Funktionale Programmierung
Links:	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
Physical Description:	348 S. graph. Darst.
ISBN:	3519021374

Staff View

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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006455539

Record in the Search Index

DE-BY-TUM_call_number	0102 DAT 544f 2001 A 33220
DE-BY-TUM_katkey	631888
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010519469 040020481443
_version_	1821937088499548160
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>01436nam 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006455539</subfield></datafield></record></collection>
id	DE-604.BV009758938
illustrated	Illustrated
indexdate	2024-12-20T09:41:44Z
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
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

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0102 DAT 544f 2001 A 33220 Floor plan
Copy 1	Available for loan On Shelf
Copy 2	Available for loan On Shelf