Locally Atomic Capabilities and How to Count Them

Explore a comprehensive conference talk on locally atomic capabilities in C++ programming. Delve into the concept of function-specific capabilities and their impact on program correctness. Learn how to express capability flow between functions through interface notation, define proper capability usage, and implement testing methods for local capability usage. Gain insights into program correctness principles, building upon previous talks on procedural program reasoning and basic interfaces. Benefit from the expertise of Lisa Lippincott, Chief Software Architect at Tanium and C++ standards contributor, as she presents this advanced topic in an accessible manner.