Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Compiler Design: Virtual Machines

Buy
Compiler Design: Virtual Machines, 9783642149085 (3642149081), Springer, 2010

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages, while additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. The implementation of application systems directly in machine language is both difficult and error-prone, leading to programs that become obsolete as quickly as the computers for which they were developed. With the development of higher-level machine-independent programming languages came the need to offer compilers that were able to translate programs into machine language. Given this basic challenge, the different subtasks of compilation have been the subject of intensive research since the 1950s.

This book is not intended to be a cookbook for compilers, instead the authors' presentation reflects the special characteristics of compiler design, especially the existence of precise specifications of the subtasks. They invest effort to understand these precisely and to provide adequate concepts for their systematic treatment. This is the first book in a multivolume set, and here the authors describe what a compiler does, i.e., what correspondence it establishes between a source and a target program. To achieve this the authors specify a suitable virtual machine (abstract machine) and exactly describe the compilation of programs of each source language into the language of the associated virtual machine for an imperative, functional, logic and object-oriented programming language.

This book is intended for students of computer science. Knowledge of at least one imperative programming language is assumed, while for the chapters on the translation of functional and logic programming languages it would be helpful to know a modern functional language and Prolog. The book is supported throughout with examples, exercises and program fragments.

(HTML tags aren't allowed.)

How Would You Move Mount Fuji?: Microsoft's Cult of the Puzzle -- How the World's Smartest Companies Select the Most Creative Thinkers
How Would You Move Mount Fuji?: Microsoft's Cult of the Puzzle -- How the World's Smartest Companies Select the Most Creative Thinkers

Microsoft's notoriously grueling interview process has been emulated by companies everywhere that seek to separate the most creative thinkers from the merely brilliant. HOW WOULD YOU MOVE MOUNT FUJI? reveals more than 35 of these challenging riddles and puzzles and, for the first time, shows how answers can be found through creative and...

Malaria: Genetic and Evolutionary Aspects (Emerging Infectious Diseases of the 21st Century)
Malaria: Genetic and Evolutionary Aspects (Emerging Infectious Diseases of the 21st Century)

This book is an edited collection of papers by leading experts on the population genetics and evolutionary biology of malaria, a disease which results in three million deaths each year in the world. "Malaria Hypothesis" refers to the hypothesis, which was proposed by J.B.S. Haldane at the 8th International Congress of Genetics in...

Microsoft Windows Vista Visual Encyclopedia
Microsoft Windows Vista Visual Encyclopedia
If you prefer to see what things look like and how to perform a task, instead of just being told, this is your ideal A to Z reference. Part I shows every Windows Vista tool and how to use it. Part II provides step-by-step instructions for more than 140 key tasks and techniques. Both are arranged alphabetically and illustrated in full color. It's...

Python Graphics: A Reference for Creating 2D and 3D Images
Python Graphics: A Reference for Creating 2D and 3D Images
Use Python's built-in features to create innovative graphics for data visualization and technical illustrations. This book goes beyond simple commands and libraries to explain how to not only display but also rotate, shade, and edit graphics for any purpose. 

Starting with the essential Python functions to set up a
...
Renewable Energy Governance: Complexities and Challenges (Lecture Notes in Energy)
Renewable Energy Governance: Complexities and Challenges (Lecture Notes in Energy)

This book focuses on Renewable Energy (RE) governance - the institutions, plans, policies and stakeholders that are involved in RE implementation - and the complexities and challenges associated with this much discussed energy area. Whilst RE technologies have advanced and become cheaper, governance schemes rarely support those technologies...

Tradigital 3ds Max: A CG Animator's Guide to Applying the Classic Principles of Animation
Tradigital 3ds Max: A CG Animator's Guide to Applying the Classic Principles of Animation

Finally bridge the gap between software-specific instruction and the world of classical animation with this easy to utilize, one-of-a-kind reference guide. With great relevance for today's digital workflows, Richard Lapidus presents innovative 3ds Max controls to the classical principles of animation like squash and stretch, anticipation,...

©2021 LearnIT (support@pdfchm.net) - Privacy Policy