Valentin David

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Anya Helene Bagge, Valentin David, Magne Haveraaen
Testing with Axioms in C++ 2011. J. Object Technol. 10 (2011)
Valentin David, Magne Haveraaen
Concepts as Syntactic Sugar. SCAM (2009)
Anya Helene Bagge, Valentin David, Magne Haveraaen
The axioms strike back: testing with concepts and axioms in C++. GPCE (2009)
Valentin David
Preparing for C++0x. OOPSLA Companion (2008)
Anya Helene Bagge, Valentin David, Magne Haveraaen
Testing with concepts and axioms in C++. OOPSLA Companion (2008)
Anya Helene Bagge, Valentin David, Magne Haveraaen
Axiom-based testing for C++. OOPSLA Companion (2008)
Alexandre Borghi, Valentin David, Akim Demaille
C-Transformers: a framework to write C program transformations. ACM Crossroads 12 (3) (2006)
Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg
Stayin' alert: : moulding failure and exceptions to your needs. GPCE (2006)