Title
N3880 Improving the Verification of C++ Programs
Status
open
Section
[intro]
Submitter
Michael Price

Created on 2014-01-16.00:00:00, last changed 2014-01-16.00:00:00.

Messages

Date: 2014-01-16.00:00:00

http://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n3880.html

Issaquah 2014: The paper was presented to EWG, and the author was encouraged to continue working on the idea and to come up with concrete proposals for EWG to vote on.

History
Date User Action Args
2014-01-16 00:00:00admincreate