Predicate transformer semantics: Difference between revisions

Revision as of 13:33, 3 March 2010

Revision as of 11:56, 12 May 2010

Line 28:

* [[Formal semantics of programming languages]] — an overview

* [[Hoare logic]] — the best-known axiomatic semantics

* [[Refinement calculus]], an extension of Hoare logic exploiting the lattice structure of predicate transformers (for "refinement" order).

* [[Dynamic_logic_(modal_logic)|Dynamic logic]], where predicate transformers appear as modalities (in the sense of [[Modal logic]]).

== References ==