Lectures

	Lecture 1: Intro
	Lecture 2: Logistics, Specifications in LSL
	Lecture 3: Propositional Logic in Code
	Lecture 4: Using LSL
	Lecture 5: Using LSL II
	Lecture 6: Design / Specification Recipe
	Lecture 7: Relational Specifications
	Lecture 8: Dependent Contracts
	Lecture 9: Itemizations
	Lecture 10: Recursive Contracts
	Lecture 11: More Recursive Data
	Lecture 12: Continuing with Recursive Data
	Lecture 13: Using LSL III
	Lecture 14: Specifications with Functions
	Lecture 15: Polymorphism
	Lecture 16: Polymorphism II
	Lecture 17: Data Abstraction in OO Languages
	Lecture 18: Programming Against Interfaces
	Exam 1

8.15