#Boost #Cpp #CppNow
Slides: https://cppnow.org/history/2021/talks/
CppNow Website: https://cppnow.org
CppNow Twitter: @CppNow
Streamed & Edited By Digital Medium Ltd: https://events.digital-medium.co.uk
------
Our understanding of a program is formed locally: we design or examine a single neighborhood of a program at a time. The neighborhoods we consider most often are those of functions and objects, in the context of the interfaces that surround them, but independently of the implementations beyond those interfaces.
But these neighborhoods are not fully independent. Objects and functions form ongoing relationships with each other, each fulfilling their own obligations by relying on the obligations of others.
The field of jurisprudence provides us with terms for these relationships: right and duty; immunity and disability. Casting these inter-neighborhood relationships in these terms provides insight into the fundamentals of programming and can help us avoid problems involving as resource lifetime, aliasing, and race conditions.
While this presentation is intended to stand on its own, it continues the examination of procedural logic in my earlier talks, such as “The Truth of a Procedure” and “Neighborhoods Banding Together.” It improves upon the material in my 2017 talk, “Locally Atomic Capabilities and How to Count Them.”
------
Lisa Lippincott
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 proofs of correctness a routine part of programming.
------
CppNow 2021:
May 1, 2022 - May 6, 2022 - Aspen, Colorado
-------------------------
0 Comments