Revision as of 16:34, 15 March 2009 edit PJTraill (talk \| contribs) Extended confirmed users 1,977 edits →References: Dijkstra and Scholten, alphabetic order ← Previous edit		Revision as of 17:32, 15 March 2009 edit undo PJTraill (talk \| contribs) Extended confirmed users 1,977 edits →See also: Axiomatic semantics, semantics overview, hoare logic, summaries Next edit →
Line 20: == See also == * [[Axiomatic semantics]] — includes predicate transformer semantics * [[Formal semantics of programming languages]] — an overview * [[Hoare logic]] — the best-known axiomatic semantics * [[Weakest liberal precondition]]

Predicate transformer semantics: Difference between revisions