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