Skip to main content
book: Programmierung - eine Einführung in die Informatik mit Standard ML
Book
Licensed
Unlicensed Requires Authentication

Programmierung - eine Einführung in die Informatik mit Standard ML

Language: German
Published/Copyright: 2008
Download eBook (PDF)
Become an author with De Gruyter Brill
Explore this Subject How to publish with us

About this book

Diese Einführung in die Informatik vermittelt Programmierung als Synthese von Theorie und Praxis. Programmierkenntnisse werden nicht vorausgesetzt. Das Buch verwendet die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden können. Leitthema des Buches ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen und Übersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken für Korrektheitsbeweise und Laufzeitbestimmungen behandelt.

Topics

  • Requires Authentication Unlicensed
    Licensed

    Front Matter

    I
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Inhaltsverzeichnis

    IX
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    1 Schnellkurs

    1
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Vorwort

    V
    Gert Smolka
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    2 Programmiersprachliches

    29
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    3 Höherstufige Prozeduren

    49
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Back Matter

    353
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    4 Listen und Strings

    75
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    5 Sortieren

    99
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    6 Konstruktoren und Ausnahmen

    113
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    7 Bäume

    131
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    8 Mengenlehre

    155
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    9 Mathematische Prozeduren

    179
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    10 Induktive Korrektheitsbeweise

    199
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    11 Laufzeit rekursiver Prozeduren

    217
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    12 Statische und dynamische Semantik

    241
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    13 Konkrete Syntax

    259
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    14 Datenstrukturen

    279
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    15 Speicher und veränderliche Objekte

    297
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    16 Stapelmaschinen und Übersetzer

    325
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    A Klammersparregeln

    353
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Literaturverzeichnis

    355
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Index

    357
    Download PDF

Publishing information
Pages and Images/Illustrations in book
eBook published on:
January 1, 2009
eBook ISBN:
9783486595345
Pages and Images/Illustrations in book
https://doi.org/10.1524/9783486595345
eBook ISBN: 9783486595345
Keywords for this book
Datenstrukturen; Höherstufige Prozeduren; Induktiver Korrektheitsbeweis; Laufzeitbestimmung; Standard ML
Audience(s) for this book
Studierende der Informatik
Downloaded on 18.4.2026 from https://www.degruyterbrill.com/document/doi/10.1524/9783486595345/html
Scroll to top button