Examples of preconditions and postconditions

Lecture overview -- Keyboard shortcut: 'u'

Previous page: Logical expressions -- Keyboard shortcut: 'p'

Next page: An Assertion Language -- Keyboard shortcut: 'n'

Lecture notes - all slides together

Annotated slide -- Keyboard shortcut: 't'

Textbook -- Keyboard shortcut: 'v'

Alphabetic index

Help page about these notes

Contracts and Assertions - slide 7 : 32

Examples of preconditions and postconditions

Preconditions and postconditions in a circular list

Circular list with preconditions and postconditions.