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: loop-invariants

Robert Floyd and the Assertion Method: Giving Programs Mathematical Meaning

Robert Floyd's assertion method turned program correctness into a mathematical problem by attaching logical conditions to control flow and proving that execution preserves them.

↗