Anya Helene Bagge

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j3		Anya Helene Bagge, Valentin David, Magne Haveraaen: Testing with Axioms in C++ 2011. Journal of Object Technology 10: 10: 1-32 (2011)
	2010
j2		Anya Helene Bagge, Magne Haveraaen: Interfacing Concepts: Why Declaration Style Shouldn't Matter. Electr. Notes Theor. Comput. Sci. 253(7): 37-50 (2010)
c6		Anya Helene Bagge: Language description for front end implementation. LDTA 2010: 9
	2009
j1		Anya Helene Bagge, Magne Haveraaen: Axiom-Based Transformations: Optimisation and Testing. Electr. Notes Theor. Comput. Sci. 238(5): 17-33 (2009)
c5		Anya Helene Bagge, Valentin David, Magne Haveraaen: The axioms strike back: testing with concepts and axioms in C++. GPCE 2009: 15-24
c4		Anya Helene Bagge: Yet Another Language Extension Scheme. SLE 2009: 123-132
	2008
c3		Anya Helene Bagge, Valentin David, Magne Haveraaen: Axiom-based testing for C++. OOPSLA Companion 2008: 721-722
c2		Anya Helene Bagge, Valentin David, Magne Haveraaen: Testing with concepts and axioms in C++. OOPSLA Companion 2008: 773-774
	2006
c1		Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg: Stayin' alert: : moulding failure and exceptions to your needs. GPCE 2006: 265-274

Coauthor Index

Last update Sun May 19 21:14:15 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page