Lisa Lippincott: How we reason about procedural programs

As programmers, we reason about the behavior of programs routinely, and with a remarkable degree of correctness. But we rarely reflect on how we achieve this feat.

In this talk, I intend to shine a light on the fundamental principles of reasoning about procedural programs, examine the assumptions behind them, and describe some of the ways they combine to let us reason about complex programs.

---

*--*

---