C++Now 2015 has ended
Please visit the C++Now website.
View analytic
Thursday, May 14 • 2:30pm - 4:00pm
How we reason about procedural programs

Log in to save this to your schedule and see who's attending!

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.


avatar for Lisa Lippincott

Lisa Lippincott

Software Architect, Tanium
Lisa Lippincott is Chief Software Architect at Tanium, a bay-area startup. She's also a language nerd, and has contributed to arcane parts of the C++ standard. In her spare time, she studies mathematical logic with a category-theoretic approach.

Thursday May 14, 2015 2:30pm - 4:00pm

Attendees (0)