This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their

A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programmi

Key ideas in programming language design and implementation explained using a simple and concise framework; a comprehensive introduction suitable for use as a t

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It intro