Design Concepts in Programming Languages

Author: Franklyn Turbak
Publisher: MIT Press
ISBN: 0262201755
Format: PDF, Kindle
Download Now
1. Introduction 2. Syntax 3. Operational semantics 4. Denotational semantics 5. Fixed points 6. FL: a functional language 7. Naming 8. State 9. Control 10. Data 11. Simple types 12. Polymorphism and higher-order types 13. Type reconstruction 14. Abstract types 15. Modules 16. Effects describe progran behavior 17. Compilation 18. Garbage collection.

Programmiersprachen Konzepte Strukturen und Implementierung in Java

Author: Achim Clausing
Publisher: Springer-Verlag
ISBN: 3827428513
Format: PDF, ePub
Download Now
Das Buch lädt dazu ein, sich mit grundlegenden Konzepten und Strukturen von Programmiersprachen zu befassen. Zu diesem Zweck werden sieben kleine Programmiersprachen entwickelt, jeweils mit vollständiger Implementierung in Java, von denen jede für ein Programmierparadigma steht: t.Zero – deklarative Programmierung; t.Lisp – listenbasierte Programmierung; t.Pascal – imperative Programmierung; t.Scheme – funktionale Programmierung; t.Lambda – rein funktionale Programmierung; t.Java – objektorientierte Programmierung; t.Prolog – logische Programmierung; Das Buch ist geschrieben für Studierende der Informatik und verwandter Fächer sowie für Leserinnen und Leser mit einfachen Java-Vorkenntnissen, die sich für das Innenleben von Programmiersprachen interessieren.

Concepts in Programming Languages

Author: John C. Mitchell
Publisher: Cambridge University Press
ISBN: 9780521780988
Format: PDF, ePub, Mobi
Download Now
A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.

The Image Interface

Author: Everardo Reyes
Publisher: John Wiley & Sons
ISBN: 1786300621
Format: PDF, Mobi
Download Now
Digital practices are shaped by graphical representations that appear on the computer screen, which is the principal surface for designing, visualizing, and interacting with digital information. Before any digital image or graphical interface is rendered on the screen there is a series of layers that affect its visual properties. To discover such processes it is necessary to investigate software applications, graphical user interfaces, programming languages and code, algorithms, data structures, and data types in their relationship with graphical outcomes and design possibilities. This book studies interfaces as images and images as interfaces. It offers a comprehensible framework to study graphical representations of visual information. It explores the relationship between visual information and its graphical supports, taking into account contributions from fields of visual computing. Graphical supports are considered as material but also as formal aspects underlying the representation of digital images on the digital screen.

Programming Language Explorations

Author: Ray Toal
Publisher: CRC Press
ISBN: 1315314312
Format: PDF, Mobi
Download Now
Programming Language Explorations is a tour of several modern programming languages in use today. The book teaches fundamental language concepts using a language-by-language approach. As each language is presented, the authors introduce new concepts as they appear, and revisit familiar ones, comparing their implementation with those from languages seen in prior chapters. The goal is to present and explain common theoretical concepts of language design and usage, illustrated in the context of practical language overviews. Twelve languages have been carefully chosen to illustrate a wide range of programming styles and paradigms. The book introduces each language with a common trio of example programs, and continues with a brief tour of its basic elements, type system, functional forms, scoping rules, concurrency patterns, and sometimes, metaprogramming facilities. Each language chapter ends with a summary, pointers to open source projects, references to materials for further study, and a collection of exercises, designed as further explorations. Following the twelve featured language chapters, the authors provide a brief tour of over two dozen additional languages, and a summary chapter bringing together many of the questions explored throughout the text. Targeted to both professionals and advanced college undergraduates looking to expand the range of languages and programming patterns they can apply in their work and studies, the book pays attention to modern programming practice, covers cutting-edge languages and patterns, and provides many runnable examples, all of which can be found in an online GitHub repository. The exploration style places this book between a tutorial and a reference, with a focus on the concepts and practices underlying programming language design and usage. Instructors looking for material to supplement a programming languages or software engineering course may find the approach unconventional, but hopefully, a lot more fun.

Essentials of Programming Languages

Author: Daniel P. Friedman
Publisher: MIT Press
ISBN: 0262062798
Format: PDF, ePub
Download Now
1. Inductive sets of data 2. Data abstraction 3. Expressions 4. State 5. Continuation-passing interpreters 6. Continuation-passing style 7. Types 8. Modules 9. Objects and classes.

Algorithmen Eine Einf hrung

Author: Thomas H. Cormen
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110522012
Format: PDF, ePub, Docs
Download Now
Der "Cormen" bietet eine umfassende und vielseitige Einführung in das moderne Studium von Algorithmen. Es stellt viele Algorithmen Schritt für Schritt vor, behandelt sie detailliert und macht deren Entwurf und deren Analyse allen Leserschichten zugänglich. Sorgfältige Erklärungen zur notwendigen Mathematik helfen, die Analyse der Algorithmen zu verstehen. Den Autoren ist es dabei geglückt, Erklärungen elementar zu halten, ohne auf Tiefe oder mathematische Exaktheit zu verzichten. Jedes der weitgehend eigenständig gestalteten Kapitel stellt einen Algorithmus, eine Entwurfstechnik, ein Anwendungsgebiet oder ein verwandtes Thema vor. Algorithmen werden beschrieben und in Pseudocode entworfen, der für jeden lesbar sein sollte, der schon selbst ein wenig programmiert hat. Zahlreiche Abbildungen verdeutlichen, wie die Algorithmen arbeiten. Ebenfalls angesprochen werden Belange der Implementierung und andere technische Fragen, wobei, da Effizienz als Entwurfskriterium betont wird, die Ausführungen eine sorgfältige Analyse der Laufzeiten der Programme mit ein schließen. Über 1000 Übungen und Problemstellungen und ein umfangreiches Quellen- und Literaturverzeichnis komplettieren das Lehrbuch, dass durch das ganze Studium, aber auch noch danach als mathematisches Nachschlagewerk oder als technisches Handbuch nützlich ist. Für die dritte Auflage wurde das gesamte Buch aktualisiert. Die Änderungen sind vielfältig und umfassen insbesondere neue Kapitel, überarbeiteten Pseudocode, didaktische Verbesserungen und einen lebhafteren Schreibstil. So wurden etwa - neue Kapitel zu van-Emde-Boas-Bäume und mehrfädigen (engl.: multithreaded) Algorithmen aufgenommen, - das Kapitel zu Rekursionsgleichungen überarbeitet, sodass es nunmehr die Teile-und-Beherrsche-Methode besser abdeckt, - die Betrachtungen zu dynamischer Programmierung und Greedy-Algorithmen überarbeitet; Memoisation und der Begriff des Teilproblem-Graphen als eine Möglichkeit, die Laufzeit eines auf dynamischer Programmierung beruhender Algorithmus zu verstehen, werden eingeführt. - 100 neue Übungsaufgaben und 28 neue Problemstellungen ergänzt. Umfangreiches Dozentenmaterial (auf englisch) ist über die Website des US-Verlags verfügbar.

Types and Programming Languages

Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 9780262162098
Format: PDF, Kindle
Download Now
Mathematical Preliminaries - Untyped Systems - Untyped Arithmetic Expressions - An ML Implementation of Arithmetic Expressions - The Untyped Lambda-Calculus - Nameless Representation of Terms - An ML Implementation of the Lambda-Calculus - Types Arithmetic Expressions - Simply Typed Lambda-Calculus - An ML Implementation of Simple Types - Simple Extensions - Normalization - Exceptions - Subtyping - Metatheory of Subtyping - An ML Implementation of Subtyping - Recursive Types - Metatheory of Recursive Types - Polymorphism - Type Reconstruction - Universal Types - Existential Types - An ML Implementation of System F - Bounded Quantification - Higher-Order Systems - Higher-Order Polymorphism - Higher-Order Subtyping.