Issue 141 - WG21 EWG Issues
Title
N4378 Language Support for Contract Assertions, N4379 FAQ about N4378, Language Support for Contract Assertions, N4253, N4135 Language Support for Runtime Contract Validation
Status
open
Section
[contract]
Submitter
J. Lakos, A. Zakharov, A. Beels, N. Myers

Created on 2014-10-09.00:00:00 last changed 123 months ago

Messages

msg153 (view)
Date: 2015-04-01.22:54:47

http://open-std.org/JTC1/SC22/WG21/docs/papers/2015/n4378.pdf

http://open-std.org/JTC1/SC22/WG21/docs/papers/2015/n4379.pdf

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

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

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

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