publisher of Arrays of run-time bounds as data members 2014 C++ language support for contract programming 2014 Exploring the design space of contract specifications for C++ 2014
