 | 2011 |
|---|
| 9 |       | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Testing with Axioms in C++ 2011.
Journal of Object Technology 10: 10: 1-32 (2011) |
| 2010 |
|---|
| 8 | | Anya Helene Bagge:
Language description for front end implementation.
LDTA 2010: 9 |
| 7 | | Anya Helene Bagge,
Magne Haveraaen:
Interfacing Concepts: Why Declaration Style Shouldn't Matter.
Electr. Notes Theor. Comput. Sci. 253(7): 37-50 (2010) |
| 2009 |
|---|
| 6 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
The axioms strike back: testing with concepts and axioms in C++.
GPCE 2009: 15-24 |
| 5 | | Anya Helene Bagge:
Yet Another Language Extension Scheme.
SLE 2009: 123-132 |
| 4 | | Anya Helene Bagge,
Magne Haveraaen:
Axiom-Based Transformations: Optimisation and Testing.
Electr. Notes Theor. Comput. Sci. 238(5): 17-33 (2009) |
| 2008 |
|---|
| 3 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Axiom-based testing for C++.
OOPSLA Companion 2008: 721-722 |
| 2 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Testing with concepts and axioms in C++.
OOPSLA Companion 2008: 773-774 |
| 2006 |
|---|
| 1 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen,
Karl Trygve Kalleberg:
Stayin' alert: : moulding failure and exceptions to your needs.
GPCE 2006: 265-274 |
Data released under the ODC-BY 1.0 license — See also our legal information page