Issue 86: N3880 Improving the Verification of C++ Programs

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 124 months ago

Messages

msg98 (view)

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:00	admin	create