Download Abstraktion - Einfuhrung in die Programmierung by Herbert Klaeren PDF

By Herbert Klaeren

"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 or Download Abstraktion - Einfuhrung in die Programmierung PDF

Best compilers books

Visual Language Theory

Kim Marriott Bernd Meyer communique is likely one of the hallmarks of people. after we consider hu­ guy conversation, most folks first contemplate spoken and written lan­ guages. those are related in that symbols within the language are encountered and processed sequentially, both temporally as they're spoken or as char­ acters are learn throughout a web page.

Construction and Evolution of Code Generators: A Model-Driven and Service-Oriented Approach

Computerized code new release is a vital cornerstone of model-driven ways to software program improvement. at the moment, plenty of innovations can be found that aid the specification and implementation of code turbines, reminiscent of engines in accordance with templates or rule-based changes. All these recommendations have in universal that code turbines are both at once programmed or defined by way of textual requisites.

Additional info for Abstraktion - Einfuhrung in die Programmierung

Example text

If tn-i ün-i a^) . . ) ) Die geschachtelte if-Form auf der rechten Seite der Übersetzung wertet, genau wie die cond-Form, nacheinander alle Tests aus, bis einer #t liefert. Die rechte Seite des condZweigs ist dann gerade die Konsequente des if s. Erst wenn alle Tests fehlschlagen ist die Alternative des letzten if-Ausdrucks dran, nämlich a^ aus dem else-Zweig. Da sich mit Hilfe dieser Übersetzung jede cond-Form durch geschachtelte if-Formen ersetzen läßt, ist cond streng genommen gar nicht notwendig.

Das x in (+ X 1) gehört also zur „inneren", zweiten Abstraktion. ) . . 5 (lambda (x) Lesen/Schreiben Programm inakti-/ DrScheme zeigt Bindungen an (lambda (x) (+ X 1) (+ X 2) 13) 13 wird daher nur für das x der äußeren Abstraktion eingesetzt. Der Wert des Ausdrucks ist damit 16. Es ist bei jedem Scheme-Ausdruck möglich, die Variablen so umzubenennen, daß jeder Variablenname nur einmal gebunden wird. Im Beispiel kann ein x durch y ersetzt werden: ((lambda (x) ((lambda (y) (+ y 1)) (+ x 2))) 13) Es wäre allerdings übertrieben, deswegen zu verbieten, daß eine Variable in einem Ausdruck mehrere Bindungen haben kann: Gelegentlich ist es nützlich, einen einzelnen Namen mehrfach zu verwenden - insbesondere, wenn Programmstücke aus verschiedenen Quellen zusammenkopiert werden.

6 Gemischte Daten Eine E-Mail ist ein Wert (make-email f t s) wobei f, t und s Zeichenketten sind. Dabei ist f der Absender, t der Adressat und s der Betreff der E-Mail. (define-record-procedures email make-email email? (email-from email-to email-subject)) Eine Dokumentenzusammenfassung ist dann ein resume-Objekt, ein letter-Objekt oder ein email-Objekt. Schreibe eine Prozedur from, die eine Dokumentenzusammenfassung konsumiert und eine Zeichenkette zurückgibt, die repräsentiert, von wem das Dokument ist.

Download PDF sample

Rated 4.75 of 5 – based on 5 votes