Abstraktion - Einfuhrung in die Programmierung by Herbert Klaeren PDF

By Herbert Klaeren

ISBN-10: 3519005050

ISBN-13: 9783519005056

ISBN-10: 3835100645

ISBN-13: 9783835100640

ISBN-10: 3835101552

ISBN-13: 9783835101555

"Die Macht der Abstraktion" ist eine Einführung in die Entwicklung von Programmen und die dazugehörigen formalen Grundlagen. Im Zentrum stehen Konstruktionsanleitungen, die die systematische Konstruktion von Programmen fördern, sowie Techniken zur Abstraktion, welche die Umsetzung der Konstruktionsanleitungen ermöglichen. In der Betonung systematischer Konstruktion unterscheidet sich dieses Buch drastisch von den meisten anderen Einführungen in die Programmierung.
Die vermittelten Grundlagen und Techniken sind unabhängig von einer bestimmten Programmiersprache. Zur representation und zum education der Programmierung dient Scheme, eine kleine und leicht erlernbare Programmiersprache, die es erlaubt, die Konzepte der Programmierung zu präsentieren, ohne Zeit mit der Konstruktvielfalt anderer Programmiersprachen zu verlieren. Entsprechend vermittelt dieses Buch fortgeschrittene Techniken. Scheme-Könner sind in der Lage, andere Programmiersprachen in kürzester Zeit zu erlernen.

Show description

Read Online or Download Abstraktion - Einfuhrung in die Programmierung PDF

Similar compilers books

Read e-book online Static Analysis: 11th International Symposium, SAS 2004, PDF

This booklet constitutes the refereed complaints of the eleventh foreign Symposium on Static research, SAS 2004, held in Verona, Italy in August 2004. The 23 revised complete papers awarded with an invited paper and abstracts of three invited talks have been conscientiously reviewed and chosen from sixty three submissions. The papers are geared up in topical sections on application and structures verification, safety and security, pointer research, summary interpretation and algorithms, form research, summary area and information buildings, form research and good judgment, and termination research.

New PDF release: Automated Deduction - Cade-22: 22nd International Conference

This ebook constitutes the refereed lawsuits of the twenty second foreign convention on automatic Deduction, CADE-22, held in Montreal, Canada, in August 2009. The 27 revised complete papers and five approach descriptions offered have been conscientiously reviewed and chosen from seventy seven submissions. additionally, 3 invited lectures via exotic specialists within the quarter have been incorporated.

Get Optimal Interprocedural Program Optimization: A New PDF

Ranging from the intraprocedural simple case, this monograph specializes in interprocedural optimization. It emphasizes the analogies and crucial transformations among intraprocedural and interprocedural optimization, and provides cookbook kind aid for developing the underlying algorithms. it really is geared toward compiler constructors and researchers attracted to the systematic move of intraprocedural optimizations to the interprocedural surroundings, in addition to scholars looking a gradual advent to the sphere.

Download PDF by Frank Puppe: Systematic Introduction to Expert Systems: Knowledge

At the present one of many major hindrances to a broader program of professional structures is the inability of a idea to inform us which problem-solving equipment areavailable for a given challenge classification. this sort of conception could lead on to major growth within the following vital goals of the specialist method procedure: - comparing the technical feasibility of professional process initiatives: this relies on no matter if there's a compatible problem-solving technique, and if attainable a corresponding instrument, for the given challenge category.

Extra resources for Abstraktion - Einfuhrung in die Programmierung

Sample text

Nim-score-right s) ... )) ((string=? (nim-move-stack m) "right") (make-nim-score ... (nim-score-left s) ... (nim-score-right s) ... 5 Ein erweitertes Beispiel für zusammengesetzte Daten • • Wie viele Münzen sind hinterher auf dem Hnken Stapel? Wie viele Münzen sind hinterher auf dem rechten Stapel? Hier das Ergebnis: (define apply-nim-move (lambda (s m) (cond ((string=? (nim-move-stack m) "left") (make-nim-score (- (nim-score-left s) (nim-move-count m)) (nim-score-right s))) ((string=? (nim-move-stack m) "right") (make-nim-score (nim-score-left s) (- (nim-score-right s) (nim-move-count m))))))) Die apply-nim-move-Prozedur verhält sich zum Beispiel folgendermaßen: (apply-nim-move (make-nim-score 5 6) (make-nim-move "left" 3)) ^^ # (apply-nim-move (make-nim-score 5 6) (make-nim-move "right" 4)) ^^ # In dieser Lösung wurde die Schablone primär nach der Anleitung für Fallunterscheidungen strukturiert, und die Konstruktion der Records wurde in beide Zweige kopiert.

Dabei entsteht die folgende alternative Schablone: (define apply-nim-move (lambda (s m) (make-nim-score (cond ((string=? (nim-move-stack m) "left") ... (nim-score-left s) ... (nim-score-right s) ... ) ((string=? (nim-move-stack m) "right") ... (nim-score-left s) ... (nim-score-right s) ... )) (cond ((string=? (nim-move-stack m) "left") ... (nim-score-left s) ... (nim-score-right s) ... 6 Gemischte Daten 49 {(string=? (nim-move-stack m) "right") ... (nim-score-left s) ... (nim-score-right s) ...

2 steht eine Regel, die beschreibt, wie ein cond-Ausdruck in eine Kaskade von if-Ausdrücken übersetzt wird. Gib eine Regel für die umgekehrte Richtung an, die einen if-Ausdruck in einen gleichbedeutenden cond-Ausdruck übersetzt. 9 Gib eine Übersetzungsregel für cond-Ausdrücke, die keinen else-Zweig haben, in Kaskaden von if-Ausdrücken an. 2. Begründe anhand der Übersetzung von condAusdrücken in if-Ausdrücke, daß deine Regel korrekt ist. 11 SchreibedenRumpf der Prozedur temperature-uncomfortable?

Download PDF sample

Abstraktion - Einfuhrung in die Programmierung by Herbert Klaeren


by Daniel
4.2

Rated 4.04 of 5 – based on 45 votes