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 Lee describes has two main advantages over previous methods. First, it allows compilers to be generated automatically. The compilers are realistic in the sense that they compile...