Grundlagen der funktionalen Programmierung:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Wiesbaden
Vieweg+Teubner Verlag
1994
|
| Series: | Leitfäden der Informatik
|
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die der Autor an der Eberhard-Karls-Universität Tübingen unter dem Titel "Einführung in die funktionale Programmierung" gehalten hat. Die Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die Informatik als Haupt-oder Nebenfach belegen. Voraussetzungen zum Verständnis des Buches sind die Kenntnis von Grundbegriffen der Informatik und Programmierung. Die Vorlesung, wie auch das Buch, besteht aus zwei Teilen. Der erste Teil umfaßt die Kapitel 1 bis 8 und ist praktisch orientiert. Er gibt eine kurze Einführung in die rein-funktionale Programmiersprache Gofer mit grundlegenden Programmiertechniken und Methoden der Verifikation und Transformation von Programmen gefolgt von einem kurzen Ausblick auf fortgeschrittene Techniken und weiterführende Konzepte. Insbesondere wird auf Typklassen, Konstruktorklassen und Monaden, sowie rein-funktionale Ein-und Ausgabe eingegangen. Typklassen und Konstruktorklassen erlauben die kontrollierte Überladung von benutzerdefinierten Funktionen. Monaden ermöglichen unter anderem die Integration von in rein-funktionale Programmiersprachen. Variablen im herkömmlichen Sinn im zweiten Teil (Kap. 9 bis 15) werden verschiedene Modelle für Semantik und Ausführung funktionaler Programmiersprachen vorgestellt. Der Teil umfaßt eine Einführung in die Bereichstheorie, universelle Algebra, operationelle und de notationelle Semantik, und den Lambda-Kalkül. Ferner werden Typen und ihre Semantik, die automatische Rekonstruktion von Typen, sowie Grundbegriffe der abstrakten Interpretation und Striktheitsanalyse behandelt. Damit verzahnt werden Implementierungstechniken für funktionale Programmiersprachen auf einer abstrakten Ebene diskutiert |
| Physical Description: | 1 Online-Ressource (348S.) |
| ISBN: | 9783322892072 9783519021377 |
| ISSN: | 1615-5432 |
| DOI: | 10.1007/978-3-322-89207-2 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042430043 | ||
| 003 | DE-604 | ||
| 005 | 20150904 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1994 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322892072 |c Online |9 978-3-322-89207-2 | ||
| 020 | |a 9783519021377 |c Print |9 978-3-519-02137-7 | ||
| 024 | 7 | |a 10.1007/978-3-322-89207-2 |2 doi | |
| 035 | |a (OCoLC)863949315 | ||
| 035 | |a (DE-599)BVBBV042430043 | ||
| 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-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Thiemann, Peter |d 1964- |e Verfasser |0 (DE-588)141000813 |4 aut | |
| 245 | 1 | 0 | |a Grundlagen der funktionalen Programmierung |c von Peter Thiemann |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1994 | |
| 300 | |a 1 Online-Ressource (348S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Leitfäden der Informatik |x 1615-5432 | |
| 500 | |a Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die der Autor an der Eberhard-Karls-Universität Tübingen unter dem Titel "Einführung in die funktionale Programmierung" gehalten hat. Die Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die Informatik als Haupt-oder Nebenfach belegen. Voraussetzungen zum Verständnis des Buches sind die Kenntnis von Grundbegriffen der Informatik und Programmierung. Die Vorlesung, wie auch das Buch, besteht aus zwei Teilen. Der erste Teil umfaßt die Kapitel 1 bis 8 und ist praktisch orientiert. Er gibt eine kurze Einführung in die rein-funktionale Programmiersprache Gofer mit grundlegenden Programmiertechniken und Methoden der Verifikation und Transformation von Programmen gefolgt von einem kurzen Ausblick auf fortgeschrittene Techniken und weiterführende Konzepte. Insbesondere wird auf Typklassen, Konstruktorklassen und Monaden, sowie rein-funktionale Ein-und Ausgabe eingegangen. Typklassen und Konstruktorklassen erlauben die kontrollierte Überladung von benutzerdefinierten Funktionen. Monaden ermöglichen unter anderem die Integration von in rein-funktionale Programmiersprachen. Variablen im herkömmlichen Sinn im zweiten Teil (Kap. 9 bis 15) werden verschiedene Modelle für Semantik und Ausführung funktionaler Programmiersprachen vorgestellt. Der Teil umfaßt eine Einführung in die Bereichstheorie, universelle Algebra, operationelle und de notationelle Semantik, und den Lambda-Kalkül. Ferner werden Typen und ihre Semantik, die automatische Rekonstruktion von Typen, sowie Grundbegriffe der abstrakten Interpretation und Striktheitsanalyse behandelt. Damit verzahnt werden Implementierungstechniken für funktionale Programmiersprachen auf einer abstrakten Ebene diskutiert | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 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 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-89207-2 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027865374 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153111587061760 |
|---|---|
| any_adam_object | |
| author | Thiemann, Peter 1964- |
| author_GND | (DE-588)141000813 |
| author_facet | Thiemann, Peter 1964- |
| author_role | aut |
| author_sort | Thiemann, Peter 1964- |
| author_variant | p t pt |
| building | Verbundindex |
| bvnumber | BV042430043 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863949315 (DE-599)BVBBV042430043 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-89207-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03401nmm a2200469zc 4500</leader><controlfield tag="001">BV042430043</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150904 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1994 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322892072</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-89207-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519021377</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02137-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-89207-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863949315</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042430043</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-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</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">Thiemann, Peter</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)141000813</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">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (348S.)</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">Leitfäden der Informatik</subfield><subfield code="x">1615-5432</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die der Autor an der Eberhard-Karls-Universität Tübingen unter dem Titel "Einführung in die funktionale Programmierung" gehalten hat. Die Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die Informatik als Haupt-oder Nebenfach belegen. Voraussetzungen zum Verständnis des Buches sind die Kenntnis von Grundbegriffen der Informatik und Programmierung. Die Vorlesung, wie auch das Buch, besteht aus zwei Teilen. Der erste Teil umfaßt die Kapitel 1 bis 8 und ist praktisch orientiert. Er gibt eine kurze Einführung in die rein-funktionale Programmiersprache Gofer mit grundlegenden Programmiertechniken und Methoden der Verifikation und Transformation von Programmen gefolgt von einem kurzen Ausblick auf fortgeschrittene Techniken und weiterführende Konzepte. Insbesondere wird auf Typklassen, Konstruktorklassen und Monaden, sowie rein-funktionale Ein-und Ausgabe eingegangen. Typklassen und Konstruktorklassen erlauben die kontrollierte Überladung von benutzerdefinierten Funktionen. Monaden ermöglichen unter anderem die Integration von in rein-funktionale Programmiersprachen. Variablen im herkömmlichen Sinn im zweiten Teil (Kap. 9 bis 15) werden verschiedene Modelle für Semantik und Ausführung funktionaler Programmiersprachen vorgestellt. Der Teil umfaßt eine Einführung in die Bereichstheorie, universelle Algebra, operationelle und de notationelle Semantik, und den Lambda-Kalkül. Ferner werden Typen und ihre Semantik, die automatische Rekonstruktion von Typen, sowie Grundbegriffe der abstrakten Interpretation und Striktheitsanalyse behandelt. Damit verzahnt werden Implementierungstechniken für funktionale Programmiersprachen auf einer abstrakten Ebene diskutiert</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</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="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-322-89207-2</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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027865374</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.BV042430043 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:25Z |
| institution | BVB |
| isbn | 9783322892072 9783519021377 |
| issn | 1615-5432 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027865374 |
| oclc_num | 863949315 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (348S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Leitfäden der Informatik |
| spelling | Thiemann, Peter 1964- Verfasser (DE-588)141000813 aut Grundlagen der funktionalen Programmierung von Peter Thiemann Wiesbaden Vieweg+Teubner Verlag 1994 1 Online-Ressource (348S.) txt rdacontent c rdamedia cr rdacarrier Leitfäden der Informatik 1615-5432 Das vorliegende Buch entstand aus einer Reihe von Vorlesungen, die der Autor an der Eberhard-Karls-Universität Tübingen unter dem Titel "Einführung in die funktionale Programmierung" gehalten hat. Die Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die Informatik als Haupt-oder Nebenfach belegen. Voraussetzungen zum Verständnis des Buches sind die Kenntnis von Grundbegriffen der Informatik und Programmierung. Die Vorlesung, wie auch das Buch, besteht aus zwei Teilen. Der erste Teil umfaßt die Kapitel 1 bis 8 und ist praktisch orientiert. Er gibt eine kurze Einführung in die rein-funktionale Programmiersprache Gofer mit grundlegenden Programmiertechniken und Methoden der Verifikation und Transformation von Programmen gefolgt von einem kurzen Ausblick auf fortgeschrittene Techniken und weiterführende Konzepte. Insbesondere wird auf Typklassen, Konstruktorklassen und Monaden, sowie rein-funktionale Ein-und Ausgabe eingegangen. Typklassen und Konstruktorklassen erlauben die kontrollierte Überladung von benutzerdefinierten Funktionen. Monaden ermöglichen unter anderem die Integration von in rein-funktionale Programmiersprachen. Variablen im herkömmlichen Sinn im zweiten Teil (Kap. 9 bis 15) werden verschiedene Modelle für Semantik und Ausführung funktionaler Programmiersprachen vorgestellt. Der Teil umfaßt eine Einführung in die Bereichstheorie, universelle Algebra, operationelle und de notationelle Semantik, und den Lambda-Kalkül. Ferner werden Typen und ihre Semantik, die automatische Rekonstruktion von Typen, sowie Grundbegriffe der abstrakten Interpretation und Striktheitsanalyse behandelt. Damit verzahnt werden Implementierungstechniken für funktionale Programmiersprachen auf einer abstrakten Ebene diskutiert Engineering Engineering, general Ingenieurwissenschaften Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 s 1\p DE-604 https://doi.org/10.1007/978-3-322-89207-2 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Thiemann, Peter 1964- Grundlagen der funktionalen Programmierung Engineering Engineering, general Ingenieurwissenschaften 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 | Engineering Engineering, general Ingenieurwissenschaften Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Funktionale Programmierung |
| url | https://doi.org/10.1007/978-3-322-89207-2 |
| work_keys_str_mv | AT thiemannpeter grundlagenderfunktionalenprogrammierung |