Search Results for: Predicate Calculus And Program Semantics

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

Explores quantum computation from the perspective of the branch of theoretical computer science known as semantics.

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 constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in Augu

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