In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines

This book, which contains contributions from leading researchers in France, USA and Great Britain, gives detailed accounts of a variety of methods for describin

This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adop

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating