Skip to main content
  • Textbook
  • © 1994

Grundlagen der funktionalen Programmierung

Authors:

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

Buy it now

Buying options

eBook USD 49.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (15 chapters)

  1. Front Matter

    Pages 1-10
  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. Abstrakte Interpretation

    • Peter Thiemann
    Pages 241-258
  14. Back Matter

    Pages 303-348

Authors and Affiliations

  • Universität Tübingen, Deutschland

    Peter Thiemann

Bibliographic Information

  • Book Title: Grundlagen der funktionalen Programmierung

  • Authors: Peter Thiemann

  • Series Title: XLeitfäden der Informatik

  • DOI: https://doi.org/10.1007/978-3-322-89207-2

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: B. G. Teubner Stuttgart 1994

  • Softcover ISBN: 978-3-519-02137-7Published: 01 January 1994

  • eBook ISBN: 978-3-322-89207-2Published: 13 March 2013

  • Series ISSN: 1615-5432

  • Edition Number: 1

  • Number of Pages: 348

  • Topics: Engineering, general

Buy it now

Buying options

eBook USD 49.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access