Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: in

Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization

Authored by a leading name in mathematics, this engaging and clearly presented text leads the reader through the tactics involved in solving mathematical proble

This textbook is intended as a textbook for one-semester, introductory computer science courses aimed at undergraduate students from all disciplines. Self-conta

Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a m