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

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individua

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program constr

The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that mor

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