Edit Magne Haveraaen Position Professor Affiliation Department of Informatics E-mail magne.haveraaen@uib.no Phone number +47 55584154 Visitor address HIB - Thormøhlens gate 555006 Bergen Postal address P.O. Box 7803 NO-5020 Bergen Norway Magne Haveraaen Position Professor Affiliation Department of Informatics Publications 2006 Anya Helene Bagge; Valentin David; Magne Haveraaen et al. (2006). Stayin' alert:: moulding failure and exceptions to your needs. (external link) 2009 Anya Helene Bagge; Magne Haveraaen (2009). Axiom-Based Transformations: Optimisation and Testing. (external link) Magne Haveraaen; Helmer Andre Friis (2009). Coordinate-free numerics: all your variation points for free?. (external link) 2000 Magne Haveraaen; Eric G. Wagner (2000). Guarded Algebras: Disguising Partiality so You Won't Know Whether its There. (external link) Magne Haveraaen (2000). Efficient Parallelisation of Recursive ProblemsUsing Constructive Recursion. (external link) 2001 t.b. Dinesh; Magne Haveraaen; Jan Heering (2001). An Algebraic Programming Style for Numerical Software and its Optimisation. (external link) 2022 Benjamin Chetioui; Jaakko Timo Henrik Järvi; Magne Haveraaen (2022). Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. (external link) 2002 Krister Åhlander; Magne Haveraaen; Hans Munthe-Kaas (2002). On Object-Oriented Frameworks and Coordinate Free Formulations of {PDE}s. (external link) 2005 Magne Haveraaen (2005). Algebraic specifications: domain engineering, software testing and code optimisation. (external link) 2014 Anya Helene Bagge; Magne Haveraaen (2014). Specification of generic APIs, or: why algebraic may be better than pre/post. (external link) See a complete overview of publications in NVA.
