First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming lan

This book provides a synthesis of the theory of programming. It aims to use mathematical theory of programming to provide a similar basis for specification, des

Between good intentions and great results lies a program theory not just a list of tasks but a vision of what needs to happen, and how. Now widely used in gover

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

A mathematically sophisticated introduction to Turing's theory, Boolean functions, automata, and formal languages.