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
Best compilers books
Ada 95 Rationale: The Language The Standard Libraries
Ada ninety five, the improved model of the Ada programming language, is now in position and has attracted a lot recognition in the neighborhood because the overseas average ISO/IEC 8652:1995(E) for the language was once authorized in 1995. The Ada ninety five cause is available in 4 components. The introductory half is a normal dialogue of the scope and goals of Ada ninety five and its significant technical beneficial properties.
Pattern Calculus: Computing with Functions and Structures
Through the years, easy examine has a tendency to steer to specialization – more and more slender t- ics are addressed via more and more focussed groups, publishing in more and more con ned workshops and meetings, discussing more and more incremental contri- tions. Already the group of programming languages is divided into quite a few s- groups addressing various facets and paradigms (functional, important, relational, and object-oriented).
This publication constitutes the refereed complaints of the twenty second overseas convention on automatic Deduction, CADE-22, held in Montreal, Canada, in August 2009. The 27 revised complete papers and five method descriptions awarded have been rigorously reviewed and chosen from seventy seven submissions. in addition, 3 invited lectures via distinctive specialists within the region have been integrated.
- Lisp Lore: A Guide to Programming the Lisp Machine
- Estonia - The Tallinn Experience
- The New PL/I: … for PC, Workstation and Mainframe
- Optimizing HPC Applications with Intel® Cluster Tools
- Verilog: Frequently Asked Questions: Language, Applications and Extensions
Extra info for Die Macht der Abstraktion : Einführung in die Programmierung
Example text
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. Schreibe eine Prozedur from, die eine Dokumentenzusammenfassung konsumiert und eine Zeichenkette zurückgibt, die repräsentiert, von wem das Dokument ist.
Die Dichte ist in kg/m^ angegeben. Schreibe Prozeduren i n g r e d i e n t - > m i l l i l i t e r s und ingredient->grams wie oben für diese Definition. 10 Entwirf Record- und Datendefinitionen für einen Eintrag bei einer OnlineAuktion. Zu einem Eintrag gehören die folgenden Informationen: der Auktionsgegenstand (als Zeichenkette), der höchste Bieter (auch eine Zeichenkette), das aktuelle Gebot und der Status der Auktion als Zeichenkette "open" oder "closed". Entwickle eine Prozedur, die einen Bieter, ein Gebot und einen Auktionseintrag konsumiert und einen neuen Eintrag zurückgibt.
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. Cond ist deswegen eine sogenannte abgeleitete Form.