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  Course home    Contracts and Assertions - slide 7 : 32

Examples of preconditions and postconditions
Preconditions and postconditions in a circular list
CircularListPrePost.java
Circular list with preconditions and postconditions.