Correctness
CSC 220

Topic

• Invariants and Assertions (from book).
• Preconditions and postconditions, and analyzing variables within a function (not in book -- class notes only).

Readings

Chapter 5, all.  Be familiar with the concepts in the chapter, but don't worry about being able to apply invariants to your programs.  They are used, but not really popular with most programmers.  Assertions, which are used more, are just mentioned in the text, but not fully explained.   The extra material we cover in class about pre- and postconditions, and about analyzing the variables inside a function, will be much more useful to your programming.  You are encouraged, but not required, to use assertions, pre- and postconditions, and variable analysis in your programs in the course.

	Office:  M233a	Phone:  353-2250	sbadman@parkland.edu