This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...