Looks similar
Implication for C++ [pdf](open-std.org)
32 points by ingve | 36 comments
Contracts for C++ (DbC) [pdf](isocpp.org)
43 points by xo5vik | 32 comments
Out of the Tar Pit [pdf](curtclifton.net)
12 points by alpha-romeo | 2 comments
32 points by ingve | 36 comments
43 points by xo5vik | 32 comments
12 points by alpha-romeo | 2 comments