3/10/2025
•
EN
Contracts for C
Exploring how C++-style contracts (pre/postconditions) could be adapted for the C programming language, including syntax and semantics.