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.)

C Programming for Embedded Systems
C Programming for Embedded Systems
Eager to transfer your C language skills to the 8-bit microcontroller embedded environment? This book will get you up and running fast with clear explanations of the common architectural elements of most 8-bit microcontrollers and the embedded-specific de

Get up and running fast with this clear presentation of 8-bit MCU development
...
Coding Theory: A First Course
Coding Theory: A First Course
"This book is well written and highly recommended for students and professionals in engineering, computer science, mathematics and related fields." Mathematical Reviews

Concerned with successfully transmitting data through a noisy channel, coding theory can be applied to electronic engineering and communications.
...
Embedded Systems Handbook, Second Edition: Networked Embedded Systems (Industrial Information Technology)
Embedded Systems Handbook, Second Edition: Networked Embedded Systems (Industrial Information Technology)
Considered a standard industry resource, the Embedded Systems Handbook provided researchers and technicians with the authoritative information needed to launch a wealth of diverse applications, including those in automotive electronics, industrial automated systems, and building automation and control. Now a new resource is required to...

Introduction to Video and Image Processing: Building Real Systems and Applications
Introduction to Video and Image Processing: Building Real Systems and Applications
One of the first times I ever encountered video and image processing was in a semester project at my fourth year of studying. The aim of the project was to design a system that automatically located the center and size of mushrooms in an image. Given this information a robot should pick the mushrooms. I was intrigued by the...
Beginning C++
Beginning C++

Beginning C++ is a tutorial for beginners in C++ and discusses a subset of C++ that is suitable for beginners. The language syntax corresponds to the C++14 standard. This book is environment neutral and does not presume any specific operating system or program development system. There is no assumption of prior programming...

Deep Learning with PyTorch: A practical approach to building neural network models using PyTorch
Deep Learning with PyTorch: A practical approach to building neural network models using PyTorch

Build neural network models in text, vision and advanced analytics using PyTorch

Key Features

  • Learn PyTorch for implementing cutting-edge deep learning algorithms.
  • Train your neural networks for higher speed and flexibility and learn how to implement them in various...
©2020 LearnIT (support@pdfchm.net) - Privacy Policy