 | 2011 |
|---|
| 8 |       | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Testing with Axioms in C++ 2011.
Journal of Object Technology 10: 10: 1-32 (2011) |
| 2009 |
|---|
| 7 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
The axioms strike back: testing with concepts and axioms in C++.
GPCE 2009: 15-24 |
| 6 | | Valentin David,
Magne Haveraaen:
Concepts as Syntactic Sugar.
SCAM 2009: 147-156 |
| 2008 |
|---|
| 5 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Axiom-based testing for C++.
OOPSLA Companion 2008: 721-722 |
| 4 | | Valentin David:
Preparing for C++0x.
OOPSLA Companion 2008: 769-770 |
| 3 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Testing with concepts and axioms in C++.
OOPSLA Companion 2008: 773-774 |
| 2006 |
|---|
| 2 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen,
Karl Trygve Kalleberg:
Stayin' alert: : moulding failure and exceptions to your needs.
GPCE 2006: 265-274 |
| 1 | | Alexandre Borghi,
Valentin David,
Akim Demaille:
C-Transformers: a framework to write C program transformations.
ACM Crossroads 12(3): 3 (2006) |
Data released under the ODC-BY 1.0 license — See also our legal information page