Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Empty Program (Hoare Calculus)

1 min read

hoare-calculus

Definition

Empty Program (Hoare Calculus)

The empty program skip does nothing. It leaves the program state unchanged.

In Hoare notation, this means:

Backlinks