Compiler Design : Virtual Machines

“This book is markedly different from other books on compiler design. ... this one looks at the environments that are needed to support the execution of the programs being compiled. The book treats each of these execution environments as a type of machine that follows the semantics of particular styles of programming languages. ... The book’s concepts are illustrated in color, with many examples and visual aids. ... Summing Up: Recommended. All academic, professional, and general readers.” F. H. Wild III, Choice, Vol. 48 (11), July 2011

"The color diagrams provide additional descriptions of each machine instruction operation on the runtime stack; these are clear and helpful. The book provides many clear code generation examples, each with the right level of detail to explain the salient points of a translation. Each chapter ends with an extensive set of exercises designed to help the reader work through additional translation schemes that add more power to the C language subset. ... (The book is) short, written in a spare and clear style, and thoughtfully sequenced for motivated readers. ... (F)or anyone interested in compilers and code generation for modern programming language implementations, this book is a must-read." Michael Zastre, ACM Computing Reviews, December 2011