• Motivation and Administrivia
• Reasoning about Straight-line Code
• Reasoning about Loops
• Writing Loops
• Specifications
• Data Abstractions (ADTs)
• Abstraction Functions (AFs)
• Representation Invariants
• Testing
• Equivalence
• HashCode
• Exceptions and Assertions
• Graphs
• Module Design & Style
• Readability
• Subtypes
• Equivalence with Subtypes
• Designing for Inheritance
• Generics
• User Interfaces & Event-Driven Programing
• JavaScript
• Modern Web UIs
• TypeScript
• JSX
• React
• Debugging
• Basic Servers
• HTTP Servers
• HTTP Clients
• Design Patterns

Untitled