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

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

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever

Foundations of Program Evaluationheralds a thorough exploration of the field of program evaluation--looking back on its origins. By summarizing, comparing, and