Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

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

CppNow via YouTube

Overview

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.

Syllabus

The C++ Vector Challenge - Lisa Lippincott - C++Now 2024

Taught by

CppNow

Reviews

Start your review of The C++ Vector Challenge - Exploring Object Interfaces and Formal Specifications

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.