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

Log in to save this to your schedule, view media, leave feedback 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 designed the software architectures of Tanium and BigFix, two systems for managing large fleets of computers. She's also a language nerd, and has contributed to arcane parts of the C++ standard. In her spare time, she studies mathematical logic, and wants to make computer-checked... Read More →

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

Attendees (0)