Valentin David
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2006–2009
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | GPCE | The axioms strike back: testing with concepts and axioms in C++. | Anya Helene Bagge, Valentin David, Magne Haveraaen |
| 2009 | SCAM | Concepts as Syntactic Sugar. | Valentin David, Magne Haveraaen |
| 2008 | OOPSLA | Axiom-based testing for C++. | Anya Helene Bagge, Valentin David, Magne Haveraaen |
| 2008 | OOPSLA | Testing with concepts and axioms in C++. | Anya Helene Bagge, Valentin David, Magne Haveraaen |
| 2008 | OOPSLA | Preparing for C++0x. | Valentin David |
| 2006 | GPCE | Stayin' alert: : moulding failure and exceptions to your needs. | Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg |