Valentin David

According to our database, Valentin David authored at least 8 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Testing with Axioms in C++ 2011.

Anya Helene Bagge, Valentin David, Magne Haveraaen

J. Object Technol., 2011

2009

Concepts as Syntactic Sugar.

Valentin David, Magne Haveraaen

Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

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

Anya Helene Bagge, Valentin David, Magne Haveraaen

Proceedings of the Generative Programming and Component Engineering, 2009

2008

Preparing for C++0x.

Valentin David

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Testing with concepts and axioms in C++.

Anya Helene Bagge, Valentin David, Magne Haveraaen

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Axiom-based testing for C++.

Anya Helene Bagge, Valentin David, Magne Haveraaen

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2006

C-Transformers: a framework to write C program transformations.

Alexandre Borghi, Valentin David, Akim Demaille

ACM Crossroads, 2006

Stayin' alert: : moulding failure and exceptions to your needs.

Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg

Proceedings of the Generative Programming and Component Engineering, 2006