World Congress 2026 Europe • Jul 9, 2026 • Session details

Programming with Contracts in C++26

Peter Bindels

C++26 Contracts replace risky assert macros with explicit, compiler-enforced function boundaries. Learn how to trap errors at the source and achieve zero-overhead performance.

Programming with Contracts in C++26 thumbnail

Checking access…

Playback and chapters load privately for Free videos.

Matching moments

4:02 min

Contract testing summary and audience Q&A session

Vincent Hennig +1 · World Congress 2023

2:16 min

Progressing a career in smart contract programming languages

György László Kiss +1 · World Congress 2021

1:00 min

The original purpose of strict programming language contracts

Simon Auer Simon Auer · World Congress 2026 North America

6:32 min

Enforcing architectural design boundaries via automated code tests

Bartosz Pietrucha · World Congress 2022

2:15 min

Implementing tool contract gates for post-production security

Sachin Gupta Sachin Gupta · World Congress 2026 North America

3:56 min

Improving the developer experience with mainstream programming languages

Arthur Breitman Arthur Breitman +2 · World Congress 2024

Upcoming sessions on this topic

Open session

Ship Happens: Guardrails for AI-Written Code

  • Anthony Nguyen

    LaunchDarkly

    Senior Solutions Engineer

Open session

Beware of Strangers Bearing Code: Open Source Trust in the Agent Era

  • Vikram Vaswani

    Consultant

Open session

Understanding React Performance Patterns Developers Often Get Wrong

  • Himanshu Srivastava

    Best Buy India

    Software Engineer

Open session

The Death of Manual Memoization: High-Performance React 19 for the Scaling Startup

  • Vishnudhasan Govindarajan

    CareStack

    Product Engineer

Open session

Your AI Wrote the Code. Who Vouches for It?

  • Siddharth Joshi

    GitHub

    Senior Customer Success Architect

Open session

Teaching AI Coding Agents to Build It Right the First Time

  • Sajeetharan Sinnathurai

    Microsoft

    Principal Product Manager