Towards contract programming in C++

Contracts programming is based in the idea that any operation has a number of preconditions and postconditions. Different instantiations of this idea have been used in different programming languages (Eiffel, Ada2012, C#, D). However, the own characteristics of C++ and the wide variety of application domains where it is used make necessary slightly different approaches.

In this talk, I will briefly cover the general ideas behind contracts programming with special attention the the difference between robustness and correctness. Then I will provide details on how these ideas can be incorporated into C++. I will present also the latest updates on the C++ contracts proposal that is under discussion at the ISO C++ standards committee.