Unifying wp and wlp

DOI10.1016/0020-0190(96)00093-2zbMath0875.68625OpenAlexW2010988783MaRDI QIDQ671411

Annabelle McIver, Carroll Morgan

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(96)00093-2

zbMATH Keywords

Egli-Milner orderFormal semanticsProgram correctnessWeakest liberal preconditionWeakest precondition

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

A fixpoint theory for non-monotonic parallelism ⋮ Of wlp and CSP ⋮ Partial correctness for probabilistic demonic programs

Cites Work

• Fixpoint semantics and simulation
• Programming as a Discipline of Mathematical Nature

This page was built for publication: Unifying wp and wlp