Control panel

Reinhard Wilhelm, Helmut Seidl, "Compiler Design: Virtual Machines"
Publisher: S-ger | 2010 | ISBN: 3642149081 | PDF | 187 pages | 1.4 MB

While compilers with regard to high-level programming languages are large complex software systems, they be delivered of particular characteristics that differentiate them from other software systems. Their functionality is >well-nigh completely well-defined – ideally there exist complete precise descriptions of the head and target languages, while additional descriptions of the interfaces to the operating classification, programming system and programming environment, and to other compilers and libraries are frequently available. The implementation of application systems directly in machine language is both difficult and error-prone, leading to programs that become obsolete to the degree that quickly as the computers for which they were developed. With the increase of higher-level machine-independent programming languages came the need to overture compilers that were able to translate programs into machine language. Given this basic call for, the different subtasks of compilation have been the subject of intensifying research since the 1950s.
This book is not intended to exist a cookbook for compilers, instead the authors' presentation reflects the peculiar characteristics of compiler design, especially the existence of precise specifications of the subtasks. They clothe effort to understand these precisely and to pre adequate concepts because their systematic treatment. This is the first book in a multivolume division, and here the authors describe what a compiler does, i.e., that which correspondence it establishes between a source and a target program. To consummate this the authors specify a suitable virtual machine (abstract machine) and exactly draw the compilation of programs of each source language into the speech of the associated virtual machine for an imperative, functional, logic and percept-oriented programming language.
This book is intended for students of computer system of knowledge. Knowledge of at least one imperative programming language is assumed, season for the chapters on the translation of functional and logic programming languages it would have existence helpful to know a modern functional language and Prolog. The part is supported throughout with examples, exercises and program fragments.

mIROR

NO MIRORS!!!Download Compiler Design: Virtual Machines (Rapidshare):