Title
N4248 Library Preconditions are a Language Feature
Status
open
Section
[contract]
Submitter
Alisdair Meredith

Created on 2014-10-12.00:00:00, last changed 2014-10-12.00:00:00.

Messages

Date: 2014-11-21.17:12:23

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

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

History
Date User Action Args
2014-10-12 00:00:00admincreate