Magne Haveraaen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

A Hardware Independent Parallel Programming ModelEva Burrows, Magne Haveraaen. jlp, 78(7):519-538, 2009. [doi]

2008

Axiom-based testing for C++Anya Helene Bagge, Valentin David, Magne Haveraaen. OOPSLA 2008: 721-722 [doi]

Testing with concepts and axioms in C++Anya Helene Bagge, Valentin David, Magne Haveraaen. OOPSLA 2008: 773-774 [doi]

JAxT and JDI: the simplicity of junit applied to axioms and data invariantsMagne Haveraaen, Karl Trygve Kalleberg. OOPSLA 2008: 731-732 [doi]

2007

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

2006

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

2005

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

2003

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ ProgramsAnya Helene Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser. SCAM 2003: 65 [doi]

Domain-Specific Optimisation with User-Defined Rules in CodeBoostOtto Skrove Bagge, Magne Haveraaen. ENTCS, 86(2), 2003. [doi]

Guest Editors ForewordMagne Haveraaen, Jüri Vain. njc, 10(4):263-264, 2003.

2002

On Object-Oriented Frameworks and Coordinate Free Formulations of PDEsMagne Haveraaen, Hans Z. Munthe-Kaas, Krister Åhlander. ewc, 18(4):286-294, 2002. [doi]

Guest Editors ForewordMagne Haveraaen, Michael R. Hansen. njc, 9(4):267-268, 2002.

2001

Guest Editors ForewordMagne Haveraaen, Olaf Owe. njc, 8(3):277-278, 2001.

Computation AlgebrasMichal Walicki, Magne Haveraaen, Sigurd Meldal. mscs, 11(5):597-636, 2001.

2000

1999

An Algebraic Programming Style for Numerical Software and its OptimizationT. B. Dinesh, Magne Haveraaen, Jan Heering. corr, cs.SE/9903002, 1999. [doi]

Formal Software Engineering for Computational ModellingMagne Haveraaen, Helmer André Friis, Tor Arne Johansen. njc, 6(3):241-270, 1999.

Guarded Algebras: Disguising Partiality so You Won t Know Whether It s ThereMagne Haveraaen, Eric G. Wagner. WADT 2000: 182-200

1996

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 PapersMagne Haveraaen, Olaf Owe, Ole-Johan Dahl, editors, Volume 1130 of Lecture Notes in Computer Science, Springer, 1996.

1990

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

1988

The PAL Module ConceptMagne Haveraaen. WADT 1988: