Advertisement

Grundlagen der funktionalen Programmierung

  • Peter Thiemann
Textbook

Part of the Leitfäden der Informatik book series (XLINF)

Table of contents

  1. Front Matter
    Pages 1-10
    PDF
  2. Einführung
    Peter Thiemann
    Pages 11-14
  3. Grundlegende Sprachstrukturen
    Peter Thiemann
    Pages 15-60
  4. Funktionen höheren Typs
    Peter Thiemann
    Pages 61-70
  5. Fallstudien
    Peter Thiemann
    Pages 71-78
  6. Programmieren mit verzögerter Auswertung
    Peter Thiemann
    Pages 79-92
  7. Eigenschaften von Programmen
    Peter Thiemann
    Pages 93-114
  8. Fortgeschrittene Programmierkonzepte
    Peter Thiemann
    Pages 115-150
  9. Überblick und Anwendungen
    Peter Thiemann
    Pages 151-160
  10. Einführung in die denotationelle Semantik
    Peter Thiemann
    Pages 161-166
  11. Bereichstheorie
    Peter Thiemann
    Pages 167-180
  12. Universelle Algebra
    Peter Thiemann
    Pages 181-198
  13. Semantik und Implementierung funktionaler Sprachen mit Funktionen erster Ordnung
    Peter Thiemann
    Pages 199-216
  14. Semantik und Implementierung funktionaler Sprachen mit Funktionen höherer Ordnung
    Peter Thiemann
    Pages 217-240
  15. Abstrakte Interpretation
    Peter Thiemann
    Pages 241-258
  16. Der λ-Kalkül als funktionale Programmiersprache
    Peter Thiemann
    Pages 259-302
  17. Back Matter
    Pages 303-348
    PDF

About this book

Keywords

Algebra Handel Informatik Konstruktion Maschine Programmiersprache Programmierung

Authors and affiliations

  • Peter Thiemann
    • 1
  1. 1.Universität TübingenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-89207-2
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1994
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-519-02137-7
  • Online ISBN 978-3-322-89207-2
  • Series Print ISSN 1615-5432
  • Buy this book on publisher's site