A new WG21 paper is available. A copy is linked below, and the paper will also appear in the next normal WG21 mailing. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.
Document number: N3880
Date: 2014-01-16
Improving the Verification of C++ Programs
by Michael Price
Excerpt:
Following is a list of ideas to serve as a starting point for further discussion. They are ordered roughly in their perceived difficulty/impact on the language and tools.
- Capabilities for better
static_assertmessages- Better support for verifying API design decisions (i.e. testing compile-time failures)
- Discrete classification of causes of ill-formedness
- Better source code contextual information capabilities (as called for by Reflection study group)
- A
std::test_exception(bikeshed) type to serve as a basis for...- An full-featured assertion library
- Registration of code to be run during verification
- Automated generation of verification programs
Add a Comment
Comments are closed.