There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specificatio

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

Elements of Programming provides a different understanding of programming than is presented elsewhere. Its major premise is that practical programming, like oth

Classroom-tested by tens of thousands of students, this new edition of the bestselling intro to programming book is for anyone who wants to understand computer

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