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 Die Macht der Abstraktion : Einführung in die Programmierung PDF

Best compilers books

Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz

Basic difficulties in Computing is in honor of Professor Daniel J. Rosenkrantz, a amazing researcher in laptop technological know-how. Professor Rosenkrantz has made seminal contributions to many subareas of machine technology together with formal languages and compilers, automata idea, algorithms, database structures, very huge scale built-in platforms, fault-tolerant computing and discrete dynamical platforms.

Handshake Circuits: An Asynchronous Architecture for VLSI Programming (Cambridge International Series on Parallel Computation)

'Design by way of programming' has proved very winning within the improvement of advanced software program structures. This booklet describes the development of courses for VLSI electronic circuit layout, utilizing the language Tangram, and exhibits how they are often compiled immediately in totally asynchronous circuits. Handshake circuits have been invented by way of the writer to split questions concerning the effective implementation of the VLSI circuits from matters coming up of their layout.

The Design and Construction of Compilers (Wiley Series in Computing)

A complete therapy of the implementation of high-level programming languages, relatively glossy languages equivalent to ALGOL 60, ALGOL sixty eight, Pascal, and Ada. Emphasizes the layout of compilers in addition to the sensible elements of compiler writing together with lexical research, syntax research, use of image tables, garage allocation, and code iteration.

Die Macht der Abstraktion : Einführung in die Programmierung

"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.

Additional resources for Die Macht der Abstraktion : Einführung in die Programmierung

Example text

Make-cartesian 42 -42)) - ^ #t Das ? 3, daß die Prozedur eine Ja-/Nein-Frage beantwortet, also einen booleschen Wert zurückgibt. 6 erläutert. • Cartesian-x und c a r t e s i a n - y sind die Selektoren von cartesian; sie extrahieren jeweils die X- und die Y-Komponente aus einem cartesian-Record. Die Selektoren haben die folgenden Verträge: ; cartesian-x : cartesian -> number ; cartesian-y : cartesian -> number Die Selektoren erfüllen die Gleichungen: (cartesian-x (make-cartesian x y) ) = X (cartesian-y (make-cartesian x y) ) = y Einige Beispiele: (cartesian-x (make-cartesian 17 23)) ^ 17 (cartesian-x (make-cartesian 42 -42)) ^ 42 (cartesian-y (make-cartesian 17 23)) ^ 23 (cartesian-y (make-cartesian 42 -42)) ^ -42 Eine def ine-record-procedures-Formhat folgende allgemeine Form: (define-record-procedures t c p {S\ .

C) (double-jelly-cream-cookie c))))) Aus diesem Beispiel ergibt sich direkt eine Konstruktionsanleitung für Prozeduren, die gemischte Daten konsumieren: • • Stelle fest, wieviele unterschiedliche Fälle die Sorte für die gemischten Daten hat. Schreibe eine cond-Verzweigung als Rumpf in die Schablone, die genauso viele Zweige hat wie es Fälle gibt. • Schreibe Tests für die Zweige in die Schablone, welche die einzelnen Fälle unterscheiden. • Vervollständige die Zweige, indem du eine Datenanalyse für jeden einzelnen Fall vornimmst und entsprechende Hilfsprozeduren oder Konstruktionsanleitungen benutzt.

1 Natürliche Zahlen 3. h. (V^GN\{0}) (3^1 en) m

Download PDF sample

Rated 4.78 of 5 – based on 39 votes