Magne Haveraaen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

BibTeX | Compact BibTeX | RSS

2008

Anya Helene Bagge, Valentin David, Magne Haveraaen. Axiom-based testing for C++. OOPSLA 2008: 721-722 [doi]
Anya Helene Bagge, Valentin David, Magne Haveraaen. Testing with concepts and axioms in C++. OOPSLA 2008: 773-774 [doi]
Magne Haveraaen, Karl Trygve Kalleberg. JAxT and JDI: the simplicity of junit applied to axioms and data invariants. OOPSLA 2008: 731-732 [doi]

2007

Till Mossakowski, Ugo Montanari, Magne Haveraaen, editors, Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings. Volume 4624 of Lecture Notes in Computer Science, Springer, 2007.

2006

Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg. Stayin alert: moulding failure and exceptions to your needs. GPCE 2006: 265-274 [doi]

2005

Magne Haveraaen, Helmer André Friis, Hans Z. Munthe-Kaas. Computable scalar fields: A basis for PDE software. jlp, 65(1):36-49, 2005. [doi]

2003

Anya Helene Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser. Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. SCAM 2003: 65 [doi]
Magne Haveraaen, Jüri Vain. Guest Editors Foreword. njc, 10(4):263-264, 2003.
Otto Skrove Bagge, Magne Haveraaen. Domain-Specific Optimisation with User-Defined Rules in CodeBoost. ENTCS, 86(2), 2003. [doi]

2002

Magne Haveraaen, Hans Z. Munthe-Kaas, Krister Åhlander. On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs. ewc, 18(4):286-294, 2002. [doi]
Magne Haveraaen, Michael R. Hansen. Guest Editors Foreword. njc, 9(4):267-268, 2002.

2001

Magne Haveraaen, Olaf Owe. Guest Editors Foreword. njc, 8(3):277-278, 2001.
Michal Walicki, Magne Haveraaen, Sigurd Meldal. Computation Algebras. mscs, 11(5):597-636, 2001.

2000

1999

Magne Haveraaen, Helmer André Friis, Tor Arne Johansen. Formal Software Engineering for Computational Modelling. njc, 6(3):241-270, 1999.
T. B. Dinesh, Magne Haveraaen, Jan Heering. An Algebraic Programming Style for Numerical Software and its Optimization. corr, cs.SE/9903002, 1999. [doi]
Magne Haveraaen, Eric G. Wagner. Guarded Algebras: Disguising Partiality so You Won t Know Whether It s There. WADT 2000: 182-200

1996

Magne Haveraaen, Olaf Owe, Ole-Johan Dahl, editors, Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers. Volume 1130 of Lecture Notes in Computer Science, Springer, 1996.

1990

Magne Haveraaen. Distributing Programs on Different Parallel Architectures. icpp 1990: 288-289

1988

Magne Haveraaen. The PAL Module Concept. WADT 1988: