Programmierung - eine Einführung in die Informatik mit Standard ML / Gert Smolka.

Format:

Book

Author/Creator:

Smolka, Gert, author.

Language:

German

Subjects (All):

Programming languages (Electronic computers).

Physical Description:

1 online resource (385 p.)

Place of Publication:

Berlin ; Boston : Oldenbourg Wissenschaftsverlag, [2009]

Language Note:

In German.

Summary:

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.

Contents:

Front Matter

1 Schnellkurs

2 Programmiersprachliches

3 Höherstufige Prozeduren

4 Listen und Strings

5 Sortieren

6 Konstruktoren und Ausnahmen

7 Bäume

8 Mengenlehre

9 Mathematische Prozeduren

10 Induktive Korrektheitsbeweise

11 Laufzeit rekursiver Prozeduren

12 Statische und dynamische Semantik

13 Konkrete Syntax

14 Datenstrukturen

15 Speicher und veränderliche Objekte

16 Stapelmaschinen und Übersetzer

Back Matter

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

Description based on online resource; title from PDF title page (publisher's Web site, viewed 08. Jul 2019)

ISBN:

3-486-59534-2

OCLC:

879550363