2008 |
25 | EE | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Axiom-based testing for C++.
OOPSLA Companion 2008: 721-722 |
24 | EE | Magne Haveraaen,
Karl Trygve Kalleberg:
JAxT and JDI: the simplicity of junit applied to axioms and data invariants.
OOPSLA Companion 2008: 731-732 |
23 | EE | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Testing with concepts and axioms in C++.
OOPSLA Companion 2008: 773-774 |
2007 |
22 | | Till Mossakowski,
Ugo Montanari,
Magne Haveraaen:
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Springer 2007 |
2006 |
21 | EE | Anya Helene Bagge,
Valentin David,
Magne Haveraaen,
Karl Trygve Kalleberg:
Stayin' alert: : moulding failure and exceptions to your needs.
GPCE 2006: 265-274 |
2005 |
20 | EE | Magne Haveraaen,
Helmer André Friis,
Hans Z. Munthe-Kaas:
Computable scalar fields: A basis for PDE software.
J. Log. Algebr. Program. 65(1): 36-49 (2005) |
2003 |
19 | EE | Otto Skrove Bagge,
Karl Trygve Kalleberg,
Magne Haveraaen,
Eelco Visser:
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs.
SCAM 2003: 65- |
18 | EE | Otto Skrove Bagge,
Magne Haveraaen:
Domain-Specific Optimisation with User-Defined Rules in CodeBoost.
Electr. Notes Theor. Comput. Sci. 86(2): (2003) |
17 | | Magne Haveraaen,
Jüri Vain:
Guest Editors' Foreword.
Nord. J. Comput. 10(4): 263-264 (2003) |
2002 |
16 | EE | Magne Haveraaen,
Hans Z. Munthe-Kaas,
Krister Åhlander:
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs.
Eng. Comput. (Lond.) 18(4): 286-294 (2002) |
15 | | Magne Haveraaen,
Michael R. Hansen:
Guest Editors' Foreword.
Nord. J. Comput. 9(4): 267-268 (2002) |
2001 |
14 | | Michal Walicki,
Magne Haveraaen,
Sigurd Meldal:
Computation Algebras.
Mathematical Structures in Computer Science 11(5): 597-636 (2001) |
13 | | Magne Haveraaen,
Olaf Owe:
Guest Editors' Foreword.
Nord. J. Comput. 8(3): 277-278 (2001) |
2000 |
12 | EE | Magne Haveraaen:
Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note).
Euro-Par 2000: 758-761 |
11 | | Krister Åhlander,
Magne Haveraaen,
Hans Z. Munthe-Kaas:
On the Role of Mathematical Abstractions for Scientific Computing.
The Architecture of Scientific Software 2000: 145-158 |
10 | | Philip W. Grant,
Magne Haveraaen,
Michael F. Webster:
Coordinate free programming of computational fluid dynamics problems.
Scientific Programming 8(4): 211-230 (2000) |
9 | | Magne Haveraaen:
Machine and collection abstractions for user-implemented data-parallel programming.
Scientific Programming 8(4): 231-246 (2000) |
8 | | T. B. Dinesh,
Magne Haveraaen,
Jan Heering:
An algebraic programming style for numerical software and its optimization.
Scientific Programming 8(4): 247-259 (2000) |
7 | | Magne Haveraaen:
Case study on algebraic software methodologies for scientific computing.
Scientific Programming 8(4): 261-273 (2000) |
1999 |
6 | | Magne Haveraaen,
Eric G. Wagner:
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There.
WADT 1999: 182-200 |
5 | EE | T. B. Dinesh,
Magne Haveraaen,
Jan Heering:
An Algebraic Programming Style for Numerical Software and its Optimization
CoRR cs.SE/9903002: (1999) |
4 | | Magne Haveraaen,
Helmer André Friis,
Tor Arne Johansen:
Formal Software Engineering for Computational Modelling.
Nord. J. Comput. 6(3): 241-270 (1999) |
1996 |
3 | | Magne Haveraaen,
Olaf Owe,
Ole-Johan Dahl:
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
Springer 1996 |
1990 |
2 | | Magne Haveraaen:
Distributing Programs on Different Parallel Architectures.
ICPP (2) 1990: 288-289 |
1988 |
1 | | Magne Haveraaen:
The PAL Module Concept.
ADT 1988 |