01
Dijkstra and Weakest Preconditions: Deriving Programs from Desired Results
Dijkstra's weakest-precondition calculus turned program semantics into a backward calculation from desired postconditions toward the conditions needed for correct execution.
↗