THE LIVING ARCHIVE

From punched cards to autonomous collaborators: the ideas, people, languages and systems that taught machines to follow—and increasingly interpret—human intent.

PAST / PRESENT / NEXT

Collection

Tag: guarded-commands

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.

↗