The axioms strike back: testing with concepts and axioms in C++

Anya Helene Bagge, Valentin David, Magne Haveraaen. The axioms strike back: testing with concepts and axioms in C++. In Jeremy G. Siek, Bernd Fischer, editors, Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings. pages 15-24, ACM, 2009. [doi]

Abstract

Abstract is missing.