Stump’s Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several d

"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

A presentation of the formal underpinnings of object-oriented programming languages.

This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming.