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

Select	Paper	Title	Authors	Audience
	P3098R2	Contracts for C++: Postcondition captures	T. Doumler, G. Ažman, J. Berne	EWG LEWG SG21
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	T. Doumler, J. Berne	EWG LEWG
Mailing Date 2026-05 Pre-Brno Author(s) Timur Doumler, Joshua Berne Target Audience EWG LEWG Revisions R8 R7 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	J. Berne, T. Doumler, J. Lakos	LEWG
Mailing Date 2026-05 Pre-Brno Author(s) Joshua Berne, Timur Doumler, John Lakos Target Audience LEWG Revisions R6 R5 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	T. Doumler, J. Berne	EWG LEWG
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