Locally Atomic Capabilities and How to Count Them
Offered By: CppNow via YouTube
Course Description
Overview
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.
Syllabus
C++Now 2017: Lisa Lippincott “Locally Atomic Capabilities and How to Count Them"
Taught by
CppNow
Related Courses
Your Favorite Undefined Behavior in C++CppNow via YouTube Under the Hood - Assembly, System Calls, and Hardware in C++
CppNow via YouTube Carbon Language Successor Strategy - From C++ Interop to Memory Safety
CppNow via YouTube Value Oriented Programming Part 1 - You Say You Want to Write a Function
CppNow via YouTube Introducing a Memory-Safe Successor Language in Large C++ Code Bases
CppNow via YouTube