In this book Peter Lee provides a complete description and survey of the field of semantics based compiler generation and presents a new method for expressing the formal semantics of programming languages that allows realistic compilers to be generated automatically. The method...