¿Programación basada en contratos para C++17?

Charla en using std::cpp 2015 sobre las previsiones de C++17.

Resumen

La idea de programación basada en contratos es a primera vista simple. Una operación tiene un conjunto de precondiciones y postcondiciones. Sin embargo, como casi siempre, el diablo está en los detalles. En esta charla, se presentará el estado actual de las propuestas debatidos por un reducido número de miembros del comité ISO C++ sobre la eventual incorporación de la programación basada en contratos a C++. Durante la charla se mencionaran frecuentemente términos como precondición, postcondición, invariante, programación defensiva versus no defensiva, excepciones, análisis estático de código o verificación formal.

 

El material está disponible aquí.

You may also like...