Kategoria BISAC: Computers >> Programming - Compilers

Dieses Buch beschreibt klar und pragnant die Kerneigenschaften von UML und zeigt, wie die Modellierungssprache die Analyse und den Entwurf von Software unterstutzt. Der Autor Hendrik Jan van Randen greift dafur auf seinen breiten Erfahrungsschatz aus zahlreichen Praxissituationen zuruck, der ihm dank langjahriger Tatigkeit als Softwarearchitekt zur Verfugung steht.

Das Buch bietet eine solide und ubersichtliche Einfuhrung in UML fur jeden, der in ein Softwareentwicklungsprojekt eingebunden ist. Zahlreiche farbige Abbildungen erleichtern das Verstehen und Behalten der vermittelten...

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.

The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and...

Learn only the essential aspects of Python without cluttering up your mind with features you may never use. This compact book is not a "best way to write code" type of book; rather, the author goes over his most-used functions, which are all you need to know as a beginner and some way beyond.

Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says, "I haven't found a need for the rest."

• Discover lean Python and how to learn just enough to build useful tools
• Use...

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.

This book provides a practically-oriented introduction to high-level programming language implementation. It demystifies what goes on within a compiler and stimulates the reader's interest in compiler design, an essential aspect of computer science. Programming language analysis and translation techniques are used in many software application areas.

A Practical Approach to Compiler Construction covers the fundamental principles of the subject in an accessible way. It presents the necessary background theory and shows how it can be applied to implement complete compilers. A...

Dieses Lehrbuch fur Ausbildung und Studium stellt die klassischen Informatik-Inhalte wie Sortieralgorithmen, Baumstrukturen, Komplexitat, Rekursion und Algorithmenklassen bereit und wurde angepasst fur die aktuelle Java-Version, wobei die verwendeten Neuerungen (Lambda-Ausdrucke, Strome usw.) kurz erklart werden. Vorteil des Buches sind die klare Ausrichtung an der Praxis und die Implementierung der Algorithmen in Java. Das Buch wurde fur Studierende der Informatik im Haupt- oder Nebenfach entwickelt, ist aber auch fur Schuler in Leistungskursen oder IT-Ausbildungsklassen geeignet. Die...

This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. Also included are more advanced topics on polymorphic types, type inference using unification, co- and contravariant types, continuations, and backwards code generation with on-the-fly peephole optimization.

Master the Java EE 8 and JSF (JavaServer Faces) APIs and web framework with this practical, projects-driven guide to web development with. This book combines theoretical background with a practical approach by building four real-world applications. By developing these JSF web applications, you'll take a tour through the other Java EE technologies such as JPA, CDI, Security, WebSockets, and more.

In Practical JSF in Java EE 8, you will learn to use the JavaServer Faces web framework in Java EE 8 to easily construct a web-based user interface from a set of reusable components....

The 19 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: Sequents systems; tableaux; transitive closure and cyclic proofs; formalization and complexity.