Haveraaen, Magne 1958-
Haveraaen, Magne.
Haveraaen, M. (Magne)
VIAF ID: 42547078 ( Personal )
Permalink: http://viaf.org/viaf/42547078
Preferred Forms
-
- 100 1 0 ‡a Haveraaen, Magne
-
-
-
-
- 100 1 _ ‡a Haveraaen, Magne ‡d 1958-
-
-
Works
Title | Sources |
---|---|
A 2-tiered software process model for utilizing CASL | |
Abstractions for programming parallel machines | |
Algebra and coalgebra in computer science : second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings | |
An algebraic programming style for numerical software and its optimization | |
COMPASS | |
Coordinate free numerics : a software approach to scientific computing | |
Coordinate free numerics : how to avoid index wrestling in tensor computations | |
Data dependencies and space time algebras in parallel programming | |
FORMAL : forslag til et spesifikasjons- og programmeringsspråk med algebraisk beskrivelse av typestrukturer | |
Formal software engineering for computational modeling | |
Guarded algebras and data type specification | |
NIK'95 : Norsk informatikkonferanse : Institutt for informatikk, Universitetet i Oslo, 20.-22. november 1995 | |
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 | |
Selected papers of the twelfth Nordic Workshop on Programming Theory (NWPT'00) : October 11-13, 2000 | |
Solving recursive problems in linear time using constructive recursion | |
The structural blanks approach to solve generalized recurrences | |
Unification of the LOOP-structures | |
USIS : sekundærinformasjon fra datalager. Prosjektrapport nr. 23, Dokumentasjon av USIS-79 |