Details:
Title  HPGP: High Performance Generic Programming for Computational Mathematics by CompileTime Instantiation of Higher Order Functors  Author(s)  Hoon Hong, Wolfgang Schreiner  Type  Technical Report, Misc  Abstract  A functor is a parameterized program module i.e. a function that
takes modules as arguments and returns a module as its result. A higherorder functor deals in the same way with modules whose components are functors themselves. We propose to develop a generic compilation system for the construction of highperformance mathematical software libraries for scientific and technical application domains. This system has the following features:
1. It is based on a powerful higherorder functor language.
2. It is an open library that can be retargeted to any core language.
3. It is able to resolve functor instantiation at compiletime.
The functor language is expressive enough to build all types and type
constructors without referring to the core language (thus maximizing flexibility) and to express all interactions between modules by parameterization (thus maximizing reusability). By compiletime instantiation, genericity does not cause any execution overhead; by automatically sharing instantiated code among all users, an expolosion of library sizes is avoided.  Keywords  genericity, modules, functors, mathematical libraries, software reuse  Length  92 
File 
 Language  English  Number  9610  Address  Johannes Kepler University, Linz, Austria  Year  1996  Translation 
No  Refereed 
No  Organization 
Johannes Kepler University Linz 
