![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Magne Haveraaen
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j19]Benjamin Chetioui
, Jaakko Järvi, Magne Haveraaen
:
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. Art Sci. Eng. Program. 7(2) (2023) - [c30]Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman:
Algebraic Reasoning About Timeliness. ICE 2023: 35-54 - 2022
- [j18]Benjamin Chetioui
, Marius Kleppe Larnøy, Jaakko Järvi, Magne Haveraaen
, Lenore Mullin:
P3 problem and Magnolia language: Specializing array computations for emerging architectures. Frontiers Comput. Sci. 4 (2022) - [i3]Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen
:
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. CoRR abs/2211.01678 (2022) - 2021
- [j17]Magne Haveraaen
, Jaakko Järvi:
Semantics of multiway dataflow constraint systems. J. Log. Algebraic Methods Program. 121: 100634 (2021) - [c29]Benjamin Chetioui
, Ole Abusdal, Magne Haveraaen
, Jaakko Järvi, Lenore Mullin:
Padding in the mathematics of arrays. ARRAY@PLDI 2021: 15-26 - 2020
- [j16]Magne Haveraaen
, Markus Roggenbach
:
Specifying with syntactic theory functors. J. Log. Algebraic Methods Program. 113: 100543 (2020) - [i2]Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner
, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov:
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR abs/2010.05708 (2020)
2010 – 2019
- 2019
- [c28]Antonio Cerone
, Markus Roggenbach
, James H. Davenport
, Casey Denner
, Marie Farrell, Magne Haveraaen
, Faron Moller, Philipp Körner
, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff
, Nikolay V. Shilov
, Rustam Zhumagambetov
:
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun 2019: 1-26 - [c27]Magne Haveraaen
:
Axiom Based Testing for Fun and Pedagogy. FMFun 2019: 27-57 - [c26]Benjamin Chetioui
, Lenore Mullin, Ole Abusdal, Magne Haveraaen
, Jaakko Järvi, Sandra Macià:
Finite difference methods fengshui: alignment through a mathematics of arrays. ARRAY@PLDI 2019: 2-13 - 2018
- [c25]Magne Haveraaen
:
Proving a core code for FDM correct by 2 + dw tests. ARRAY@PLDI 2018: 42-49 - [c24]Eva Burrows, Helmer André Friis
, Magne Haveraaen
:
An array API for finite difference methods. ARRAY@PLDI 2018: 59-66 - 2017
- [c23]Magne Haveraaen
:
Domain Engineering the Magnolia Way. Ershov Informatics Conference 2017: 196-210 - 2016
- [c22]Tero Hasu, Magne Haveraaen:
Errors as Data Values. NIK 2016 - 2015
- [j15]Magne Haveraaen
, Karla Morris, Damian W. I. Rouson, Hari Radhakrishnan, Clayton Carson:
High-Performance Design Patterns for Modern Fortran. Sci. Program. 2015: 942059:1-942059:14 (2015) - 2014
- [c21]Jaakko Järvi, Gabriel Foust, Magne Haveraaen
:
Specializing planners for hierarchical multi-way dataflow constraint systems. GPCE 2014: 1-10 - [c20]Anya Helene Bagge
, Magne Haveraaen
:
Specification of generic APIs, or: why algebraic may be better than pre/post. HILT 2014: 71-80 - 2013
- [c19]Tero Hasu, Anya Helene Bagge
, Magne Haveraaen
:
Inferring Required Permissions for Statically Composed Programs. NordSec 2013: 51-66 - [c18]Magne Haveraaen
, Karla Morris, Damian W. I. Rouson:
High-performance design patterns for modern Fortran. SE-HPCCSE@SC 2013: 1-8 - 2012
- [c17]Jaakko Järvi, Magne Haveraaen
, John Freeman, Mat Marcus:
Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious. WGP@ICFP 2012: 25-32 - [c16]Eva Burrows, Magne Haveraaen
:
Programmable data dependencies and placements. DAMP 2012: 31-40 - 2011
- [j14]Anya Helene Bagge, Valentin David, Magne Haveraaen
:
Testing with Axioms in C++ 2011. J. Object Technol. 10: 10: 1-32 (2011)
2000 – 2009
- 2009
- [j13]Magne Haveraaen
, Helmer André Friis
:
Coordinate-free numerics: all your variation points for free? Int. J. Comput. Sci. Eng. 4(4): 223-230 (2009) - [j12]Eva Burrows, Magne Haveraaen
:
A Hardware Independent Parallel Programming Model. J. Log. Algebraic Methods Program. 78(7): 519-538 (2009) - [c15]Anya Helene Bagge
, Valentin David, Magne Haveraaen
:
The axioms strike back: testing with concepts and axioms in C++. GPCE 2009: 15-24 - [c14]Valentin David, Magne Haveraaen
:
Concepts as Syntactic Sugar. SCAM 2009: 147-156 - [c13]Anya Helene Bagge
, Magne Haveraaen
:
Interfacing Concepts: Why Declaration Style Shouldn't Matter. LDTA 2009: 37-50 - 2008
- [c12]Anya Helene Bagge
, Valentin David, Magne Haveraaen
:
Axiom-based testing for C++. OOPSLA Companion 2008: 721-722 - [c11]Magne Haveraaen
, Karl Trygve Kalleberg:
JAxT and JDI: the simplicity of junit applied to axioms and data invariants. OOPSLA Companion 2008: 731-732 - [c10]Anya Helene Bagge
, Valentin David, Magne Haveraaen
:
Testing with concepts and axioms in C++. OOPSLA Companion 2008: 773-774 - [c9]Anya Helene Bagge
, Magne Haveraaen
:
Axiom-Based Transformations: Optimisation and Testing. LDTA 2008: 17-33 - 2007
- [e2]Till Mossakowski, Ugo Montanari, Magne Haveraaen:
Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings. Lecture Notes in Computer Science 4624, Springer 2007, ISBN 978-3-540-73857-2 [contents] - 2006
- [c8]Anya Helene Bagge
, Valentin David, Magne Haveraaen
, Karl Trygve Kalleberg:
Stayin' alert: : moulding failure and exceptions to your needs. GPCE 2006: 265-274 - 2005
- [j11]Magne Haveraaen
, Helmer André Friis
, Hans Z. Munthe-Kaas:
Computable scalar fields: A basis for PDE software. J. Log. Algebraic Methods Program. 65(1): 36-49 (2005) - 2003
- [j10]Magne Haveraaen, Jüri Vain:
Guest Editors' Foreword. Nord. J. Comput. 10(4): 263-264 (2003) - [c7]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- - [c6]Otto Skrove Bagge, Magne Haveraaen
:
Domain-Specific Optimisation with User-Defined Rules in CodeBoost. RULE@RDP 2003: 119-133 - 2002
- [j9]Magne Haveraaen
, Hans Z. Munthe-Kaas, Krister Åhlander:
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs. Eng. Comput. 18(4): 286-294 (2002) - [j8]Magne Haveraaen, Michael R. Hansen:
Guest Editors' Foreword. Nord. J. Comput. 9(4): 267-268 (2002) - 2001
- [j7]Michal Walicki, Magne Haveraaen
, Sigurd Meldal:
Computation Algebras. Math. Struct. Comput. Sci. 11(5): 597-636 (2001) - [j6]Magne Haveraaen, Olaf Owe:
Guest Editors' Foreword. Nord. J. Comput. 8(3): 277-278 (2001) - 2000
- [j5]Philip W. Grant, Magne Haveraaen
, Michael F. Webster:
Coordinate free programming of computational fluid dynamics problems. Sci. Program. 8(4): 211-230 (2000) - [j4]Magne Haveraaen
:
Machine and collection abstractions for user-implemented data-parallel programming. Sci. Program. 8(4): 231-246 (2000) - [j3]T. B. Dinesh, Magne Haveraaen
, Jan Heering:
An algebraic programming style for numerical software and its optimization. Sci. Program. 8(4): 247-259 (2000) - [j2]Magne Haveraaen
:
Case study on algebraic software methodologies for scientific computing. Sci. Program. 8(4): 261-273 (2000) - [c5]Magne Haveraaen
:
Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note). Euro-Par 2000: 758-761 - [c4]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
1990 – 1999
- 1999
- [j1]Magne Haveraaen, Helmer André Friis, Tor Arne Johansen:
Formal Software Engineering for Computational Modelling. Nord. J. Comput. 6(3): 241-270 (1999) - [c3]Magne Haveraaen
, Eric G. Wagner:
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. WADT 1999: 182-200 - [i1]T. B. Dinesh, Magne Haveraaen, Jan Heering:
An Algebraic Programming Style for Numerical Software and its Optimization. CoRR cs.SE/9903002 (1999) - 1996
- [e1]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. Lecture Notes in Computer Science 1130, Springer 1996, ISBN 3-540-61629-2 [contents] - 1990
- [c2]Magne Haveraaen:
Distributing Programs on Different Parallel Architectures. ICPP (2) 1990: 288-289
1980 – 1989
- 1988
- [c1]Magne Haveraaen:
The PAL Module Concept. ADT 1988
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint