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

This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a mea

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

This textbook introduces basic algorithms and explains their analytical methods. All algorithms and methods introduced in this book are well known and frequentl