CppCon 2019 has ended
Back To Schedule
Thursday, September 19 • 14:00 - 15:00
The Truth of a Procedure

Log in to save this to your schedule, view media, leave feedback and see who's attending!

One way of modeling a procedure mathematically is to treat it as a statement about the ways in which events can be arranged by a computer. This conception brings programming into the domain of mathematical logic, the study of truth and proof in formal languages.

In this lecture, I will explain how to read a procedure and its interface as a sentence, how that sentence may be true or false, possible or impossible, necessary or provable.

This material is the mathematical background for my other lectures on assertions and function interfaces, including "What is the Basic Interface?" which was presented at CppCon 2016.

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 September 19, 2019 14:00 - 15:00 MDT
Summit 6/7
  • Interface Design