This book is one of the best for knowing formal semantics of programming languages. You will learn how to use semantics for validating prototype implementations of programming language, how to use semantics for verifying analyses used in more advanced implementations of programming languages and how to use semantics for verifying useful program properties including information about execution time.
Read More/Download