S. Hadjerrouit, Trondheim Norway, Magne Haveraaen
Solving recursive problems in linear time using
Abstract Domain-Specific Optimisation with (2008)
Otto Skrove Bagge, Magne Haveraaen
The use of domain-specific optimisations can significantly enhance the performance of high-level programs. However, current programming languages have poor support for specifying such optimisations....
Guarded Algebras: Disguising Partiality so You Won’t Know Whether its There ⋆ (2008)
Magne Haveraaen, Eric G. Wagner
Abstract. Motivated by considerations from program semantics, we suggest the notion of guarded algebras. These make explicit the significant arguments to functions, and prevent involuntary capture of...
Structured testing in Sophus (2008)
Testing is very important for the validation of software, but tests are all too often developed on an ad hoc basis. Here we show a more systematic approach with a basis in structured specifications....
Some Statistical Performance Estimation Techniques for Dynamic Machines ∗ (2008)
Magne Haveraaen, Hogne Hundvebakke
The advent of computers with a very dynamic run-time behaviour, such as the SGI Origin 2000 series, makes it very difficult to asses the runtime behaviour of programs in order to compare efficiency...
Structured testing in Sophus (2008)
Testing is one of the oldest and most used approaches for the validation of software. In spite of its importance, it is often performed as an add-on to the development of the software. In some...
Anya Helene Bagge, Valentin David, Magne Haveraaen, Anya Helene, Bagge Valentin, David Magne Haveraaen
Modern development practices encourage extensive testing of code while it is still under development, using unit tests to check individual code units in isolation. Such tests are typically...
Coordinate Free Numerics (2007)
The theory of partial differential equations have diverged in two different directions in our century; the pure mathematical presentation based on coordinate free formulations and commutative...
ON THE ROLE OF MATHEMATICAL ABSTRACTIONS FOR SCIENTIFIC COMPUTING (2007)
Abstract A distinguished feature of scientic computing is the necessity to design software abstractions for approximations. The approximations are themselves abstractions of mathematical models, and...
Otto Skrove Bagge, Magne Haveraaen, Eelco Visser
CodeBoost is a tool for source-to-source transformation and optimisation of C++ programs. It is intended to be used as a test-bed for various high-level optimisations; the traditional textbook...
On OO frameworks and coordinate free formulations of PDEs (2007)
Krister Ahl, Magne Haveraaen, Hans Munthe-kaas
An object-oriented (OO) framework for partial differential equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, and the...
M. Haveraaen, J. Heering, T. B. Dinesh, T. B. Dinesh, Magne Haveraaen
An algebraic programming style for numerical software and
Abstracts for Presentations Edited by (2007)
Magne Haveraaen, John Power, Monika Seisenberger, John Power, Monika Seisenberger
CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. The...
Magne Haveraaen, John Power, Magne Haveraaen, John Power, Monika Seisenberger
The CALCO Young Researchers Workshop, CALCO-jnr, was a satellite event for 2nd Conference on Algebra and Coalgebra in Computer Science, August 20-24, 2007, Bergen, Norway (CALCO’07). CALCO-jnr was...
Design of the CodeBoost Transformation System for (2003)
Otto Skrove Bagge, Karl Trygve Kalleberg, Eelco Visser, Magne Haveraaen
The use of a high-level, abstract coding style can greatly increase developer productivity. For numerical software, this can result in drastically reduced run-time performance. High-level,...
CodeBoost: A framework for the transformation of C++ programs (2001)
Otto Skrove Bagge, Magne Haveraaen, Eelco Visser
Abstract. Often we are faced with the need to make trivial, albeit tedious, changes to program code. It may be things like making variable names more readable, add code that will provide execution...
CodeBoost: A framework for the transformation of C++ programs (2001)
Otto Skrove Bagge, Magne Haveraaen, Eelco Visser
Abstract. Often we are faced with the need to make trivial, albeit tedious, changes to program code. It may be things like making variable names more readable, add code that will provide execution...
Data parallelism has appeared as a fruitful approach to the parallelisation of compute-intensive programs. Data parallelism has the advantage of mimicking the sequential (and deterministic) structure...
Under consideration for publication in Math. Struct. in Comp. Science Computation Algebras (2000)
Magne Haveraaen, Sigurd Meldal
We introduce a framework which generalizes algebraic specifications by equipping algebras with descriptions of evaluation strategies. The resulting abstract mathematical description allows one to...
The use of domain specific languages and appropriate software architectures are currently seen as the way to enhance reusability and improve software productivity. Here we outline a use of algebraic...
An Algebraic Programming Style for Numerical Software and its Optimization (1998)
The abstract mathematical theory of partial di#erential equations (PDEs) is formulated in terms of manifolds, scalar fields, tensors, and the like, but these algebraic structures are hardly...
Michal Walicki, Magne Haveraaen, Sigurd Meldal
We introduce a semantic framework which generalises algebraic specifications by equipping algebras with descriptions of evaluation strategies. The semantic objects are not merely algebras, but...
Programming with Data Dependencies: a Comparison of Two Approaches (1994)
Vytautas Cyras, Magne Haveraaen
We present two methods for expressing computations based on recurrence relations and discuss their relative merits. One method, the structural blanks approach, is built on top of traditional...