Lecture overview -- Keyboard shortcut: 'u'  Previous page: Examples of preconditions and postconditions -- Keyboard shortcut: 'p'  Next page: Responsibilities and Contracts [Section] -- 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 8 : 32

An Assertion Language

We need an assertion language in which to write preconditions, postconditions, and other assertions

We want to check the assertions when the program runs