WG21 PAPERS

Mailings Beta

Volunteer-driven · Not affiliated with WG21 or ISO

Filter and export papers from the C++ Committee’s monthly mailings by time frame and audience using the options below, or refine your export further with the Select button. Links point directly to the official WG21 papers on open-std.org.

Submit Issue C++ Standards Committee Papers

1 · Year 1 · Month

Select the arrow to the right of the year to filter for specific months.

Add Year +

Select Years To Display

Current Years Selected

2026 2025

Group by date?

Select	Paper	Title	Authors	Audience	Mailing Date
	P3098R2	Contracts for C++: Postcondition captures	Timur Doumler T. Doumler , Gašper Ažman G. Ažman , Joshua Berne J. Berne	EWG LEWG SG21	2026-05
Mailing Date 2026-05 Pre-Brno Author(s) Timur Doumler, Gašper Ažman, Joshua Berne Target Audience EWG LEWG SG21 Tracking issue View on GitHub Abstract We propose to add a new, optional syntactic construct to postcondition assertions, called postcondition captures. Postcondition captures are spelled in the same fashion as lambda captures. They are placed immediately after the `post` contextual keyword and before the predicate: `post [``captures``] (``predicate``)` Postcondition captures are variables constructed when the function is called. The
	P3100R6	A framework for systematically addressing undefined behaviour in the C++ Standard	Timur Doumler T. Doumler , Joshua Berne J. Berne	EWG LEWG	2026-05
Mailing Date 2026-05 Pre-Brno Author(s) Timur Doumler, Joshua Berne Target Audience EWG LEWG Revisions R8 R7 R3 Tracking issue View on GitHub Abstract In this paper, we enumerate all cases of core language undefined behaviour explicitly specified in the C++ Standard, group them into ten categories, and classify them along a number of relevant criteria.
	P3290R4	Integrating Existing Assertions With Contracts	Joshua Berne J. Berne , Timur Doumler T. Doumler , John Lakos J. Lakos	LEWG	2026-05
Mailing Date 2026-05 Pre-Brno Author(s) Joshua Berne, Timur Doumler, John Lakos Target Audience LEWG Revisions R6 R5 R3 Tracking issue View on GitHub Abstract – Specified use of `source_location::current()` and discussed implementation choices
	P3850R0	A proposed plan for extending Contracts in C++29	Timur Doumler T. Doumler , Joshua Berne J. Berne	EWG LEWG	2026-05
Mailing Date 2026-05 Pre-Brno Author(s) Timur Doumler, Joshua Berne Target Audience EWG LEWG Revisions R1 Tracking issue View on GitHub

Showing 4 of 4 papers · source: open-std.org

Mailings Beta

Sign in