All Talks

Neighborhoods Banding Together: Reasoning Globally about Programs

https://cppcon.org/ https://github.com/CppCon/CppCon2020

Our most detailed reasoning about programs is done locally: we consider a neighborhood of a program — usually a single function and the interfaces surrounding it — and reason about its behavior without reference to the remainder of the program. But this reasoning is in service of a larger goal: we want to ensure that the entire program behaves correctly.

In this talk, I will take local reasoning for granted, and look at the process of …

You might be interested in: