Loading…
C++Now 2015 has ended
Please visit the C++Now website.
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

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
Hudson

Attendees (0)