Title
N4293 C++ language support for contract programming, N4110 Exploring the design space of contract specifications for C++
Status
open
Section
[contract]
Submitter
J. Daniel Garcia

Created on 2014-07-06.00:00:00, last changed 2014-07-06.00:00:00.

Messages

Date: 2015-04-01.22:54:47

http://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n4293.pdf

http://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n4110.pdf

Discussed at length in Urbana. In general, various paper authors are encouraged to do further work together on contract programming. See also issue 141, 159 and 168.

History
Date User Action Args
2014-07-06 00:00:00admincreate