The C++ Vector Challenge - Exploring Object Interfaces and Formal Specifications

Explore a technical conference talk that delves into the complex challenge of creating formal interfaces for C++'s standard template vector, presented by Lisa Lippincott at C++Now 2024. Learn about a two-decade journey investigating how to extend C++ to express and statically check program reasoning, with particular focus on function interfaces and object specifications. Discover the inherent complexities of vector implementation, examine the challenges in formal specification, and understand the conflicting programming paradigms within C++. Gain insights from Lippincott's experience as the architect behind Tanium and BigFix systems, and her current role as assistant chair of the C++ standardization committee's numerics study group. Perfect for C++ developers interested in deep technical discussions about language design, formal interfaces, and the mathematical foundations of programming.