Compilers

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

Similar compilers books

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

CASL, the typical Algebraic Specification Language, was once designed by way of the individuals of CoFI, the typical Framework Initiative for algebraic specification and improvement, and is a general-purpose language for sensible use in software program improvement for specifying either necessities and layout. CASL is already considered as a de facto common, and numerous sublanguages and extensions can be found for particular initiatives.

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

Set conception for Computing bargains an updated and entire account of set-oriented symbolic manipulation and automatic reasoning tools. studying cutting-edge number of platforms with crisp, formal instruments is a prerequisite for a excessive measure of regulate over units and aggregates. the numerous algorithmic equipment and deductive recommendations during this e-book provide readers a transparent view of using set-theoretic notions in such serious components as specification of difficulties, info kinds, and resolution equipment; algorithmic software verification; and automatic deduction.

R for Cloud Computing: An Approach for Data Scientists

R for Cloud Computing seems to be at a few of the projects played via enterprise analysts at the laptop (PC period) and is helping the consumer navigate the wealth of data in R and its 4000 applications in addition to transition an analogous analytics utilizing the cloud. With this data the reader can decide on either cloud proprietors and the occasionally complicated cloud environment in addition to the R programs that may support strategy the analytical initiatives with minimal attempt, rate and greatest usefulness and customization.

Microservices From Day One: Build robust and scalable software from the start

Examine what a microservices structure is, its benefits, and why you have to think about using one while beginning a brand new program. The ebook describes how taking a microservices procedure from the beginning is helping keep away from the complexity and rate of relocating to a service-oriented method after purposes achieve a severe code base measurement or site visitors load.

Additional info for Abstraktion - Einfuhrung in die Programmierung

Sample text

Die Methode, für zusammengesetzte Daten erst eine Datendefinition aufzuschreiben und diese dann direkt in eine Record-Definition zu übersetzen, bildet Konstmktionsanleitung 3 in Anhang D. 3 Prozeduren, die Records konsumieren Eine nützliche Prozedur auf kartesischen Koordinaten könnte den Abstand zum Ursprung berechnen. Sie soll Kurzbeschreibung und Vertrag wie folgt haben: ; Abstand vom Ursprung berechnen ; d i s t a n c e - t o - o r i g i n : c a r t e s i a n -> number Die Konstruktion der Prozedur fiinktioniert genau wie bei chocolate-cookie-weight aus dem ersten Abschnitt.

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.

Abb. 1) "frozen", "liquid", "gaseous" zurückgibt. Für Fallunterscheidungen gibt es die erste richtige Konstruktionsanleitung. Sie folgt aus einer Datenanalyse der Argumente der zu schreibenden Prozedur: Wenn ein Argument ^Die booleschen Werte sind benannt nach George Boole (1815-1864), der zuerst einen algebraischen Ansatz für die Behandlung von Logik mit den Werten „wahr" und „falsch" formulierte. 1 Fallunterscheidungen und boolesche Ausdrücke 29 Zeichenketten (auf Englisch Strings) repräsentieren Text.

Download PDF sample

Rated 4.96 of 5 – based on 29 votes