- Stop Audio

- C++, Abstract Algebra and Applications

- How Could This Fail?

- Layers of Abstraction

- The Hoare Triple

- How Could This Fail? (2)

- Thanks a Lot

- Design by Contract

- Program Proof and C++

- How Could This Fail? (3)

- C++ Types and Sets

- Sets and Operations

- C++ and Abstract Algebra

- Testing Data Types

- Creating Algebraic Type Traits

- Type Traits to Test for Algebraic Structure

- Synthesizing Data Types

- Synthesizing Data Types (2)

- Summary