Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
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.

Slides 

Speakers
avatar for Lisa Lippincott

Lisa Lippincott

Chief Software Architect, Tanium
Lisa Lippincott is Chief Software Architect at Tanium, a bay-area startup. Her claim to fame is writing one phrase appearing in the C++ standard. In her spare time, she studies mathematical logic with a category-theoretic approach.


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

Attendees (28)