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.
Read or Download Die Macht der Abstraktion : Einführung in die Programmierung PDF
Similar compilers books
Joel Spolsky all started his mythical net log, www. joelonsoftware. com, in March 2000, so as to supply insights for bettering the area of programming. Spolsky established those observations on years of non-public event. the end result only a handful of years later? Spolsky's technical wisdom, caustic wit, and awesome writing talents have earned him prestige as a programming guru!
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Foreword. - creation. - Nature as Quantum desktop. - Jack Schwartz Meets Karl Marx. - SETL and the Evolution of Programming. - selection method for straight forward Sublanguages of Set idea XVII: as a rule taking place Decidable Extensions of Multi-level Syllogistic. - Jack Schwartz and Robotics: The Roaring Eighties.
Principles of Compilers: A New Approach to Compilers Including the Algebraic Method
"Principles of Compilers: a brand new method of Compilers together with the Algebraic procedure" introduces the information of the compilation from the typical intelligence of humans via evaluating similarities and changes among the compilations of ordinary languages and programming languages. The notation is created to record the resource language, goal languages, and compiler language, vividly illustrating the multilevel method of the compilation within the approach.
This publication constitutes the refereed court cases of the 3rd foreign Workshop on Formal suggestions for Safety-Critical structures, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised complete papers provided including invited talks have been conscientiously reviewed and chosen from forty submissions.
- Software Engineering for Self-Adaptive Systems (Lecture Notes in Computer Science)
- Introduction to Assembly Language Programming: For Pentium and RISC Processors (Texts in Computer Science)
- Engineering a Compiler, Second Edition
- Using and Improving OpenMP for Devices, Tasks, and More: 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings (Lecture Notes in Computer Science)
- Foundational Java: Key Elements and Practical Programming
- Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science)
Additional resources for Die Macht der Abstraktion : Einführung in die Programmierung
Example text
Define-record-procedures resume make-resume resume? )) Ein Brief ist ein Wert (make-letter s a p ) wobei s und a Zeichenketten sind und p eine Zahl ist. Dabei ist s der Absender des Briefes, a der Adressat und p die Frankatur. define-record-procedures letter make-letter letter? 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.
Der Rumpf läßt sich also auf diesen Ausdruck reduzieren: (define temperature-mild? (lambda (T) (and (>= T 4) (<= T 12)))) Zu einer anderen Aufgabe: eine Temperatur ist (für manche Menschen) unangenehm, wenn sie unter 14° oder über 34° liegt. Kurzbeschreibung und Vertrag: ; feststellen, ob Temperatur unangenehm ist ; temperature-uncomfortable? : number -> boolean Gerüst: (define temperature-uncomfortable? (lambda (T) Das entscheidende Wort in der Definition von „unangenehm" ist oder. Dazu gibt es in Scheme, analog zu and, die Spezialform or.
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. 6 Gemischte Daten Konstmktionsanleitung 6 für gemischte Daten in Anhang D faßt dies noch einmal zusammen. Die übersichtlichsten Programme entstehen meist, wenn für jeden Fall separate Hilfsprozeduren definiert sind, wie hier double-chocolate-cookie und double-jelly-creamcookie.