Issue 137: N4293 C++ language support for contract programming, N4110 Exploring the design space of contract specifications for C++

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

Messages

msg149 (view)

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