Jens Gustedt • 3/10/2025

Contracts for C

This article analyzes the C++ contracts proposal (P2900) and explores its potential adaptation for C. It discusses core concepts like contract_assert and contract_assume, their syntax, semantics, and differences from existing features like assert. The author examines how contracts could enable verification, optimization, and improved correctness in C, while critiquing certain C++ implementation details.

0 comments

#assertions #c #Contracts