A Generic Programming Environment for High-Performance Mathematical Libraries

Authors:
Wolfgang Schreiner;Werner Danielczyk-Landerl;Mircea Marin;Wolfgang Stöcher
Affiliations:
-;-;-;-
Venue:
Selected Papers from the International Seminar on Generic Programming
Year:
1998

Citing 3
Cited 1

AXIOM: the scientific computation system

AXIOM: the scientific computation system
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Applicative functors and fully transparent higher-order modules

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Compiler-enforced memory semantics in the SACLIB computer algebra library

CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing

Quantified Score

Hi-index	0.01

Visualization

Abstract

We report on a programming environment for the development of generic mathematical libraries based on functors (parameterized modules) that have rigorously specified but very abstract interfaces. We focus on the combination of the functor-based programming style with software engineering principles in large development projects. The generated target code is highly efficient and can be easily embedded into foreign application environments.