Revision as of 16:03, 14 May 2010 edit Boulme (talk \| contribs) 90 edits links to guarded commands in wp section ← Previous edit		Revision as of 16:07, 14 May 2010 edit undo Boulme (talk \| contribs) 90 edits →See also Next edit →
Line 78: * [[Formal semantics of programming languages]] — an overview * [[Hoare logic]] — the best-known axiomatic semantics * [[Refinement calculus]], an extension of [[guarded commands]] (and Hoare logic) exploiting the [[ Lattice_(order) \| 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]]).

Predicate transformer semantics: Difference between revisions