A Generic Programming Environment for High-Performance Mathematical Libraries
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.
Keywordsfunctors specifications computer algebra generic libraries
Unable to display preview. Download preview PDF.
- 2.CA Group. The Scratchpad II Computer Algebra Sytem Interactive Environment Users Guide. Draft 1.2, TJ Watson Research Center, Yorktown Heights, NY, 1988.Google Scholar
- 3.O. Caprotti, H. Hong, et al. On C++ Polymorphism for the STURM Library. Internal Note 94-001, RISC-Linz, 1994.Google Scholar
- 4.W. Danielczyk-Landerl. Syntax Processing and Code Generation for a Generic Programming Language. Master’s thesis, RISC-Linz, 1998. To appear.Google Scholar
- 6.H. Gast, S. Schupp, and R. Loos. Completing the Compilation of SuchThat v0.7. Technical Report 97-12, Rensselaer Polytechnic Institute, December 1997.Google Scholar
- 7.H. Hong, A. Neubacher, et al. The STURM Library Manual — A C++ Library for Symbolic Computation. Technical Report 94-30, RISC-Linz, April 1994.Google Scholar
- 9.X. Leroy. Applicative functors and fully transparent higher-order modules. In POPL’ 95, pages 142–153, San Francisco, CA, January 22–25, 1995. ACM Press.Google Scholar
- 10.D. R. Musser and A. Saini. STL Tutorial & Reference Guide. Addison-Wesley, Reading, MA, 1996.Google Scholar
- 11.W. Schreiner et al. HPGP User and Reference Manual. Technical report, RISC-Linz, 1998. http://www.risc.uni-linz.ac.at/projects/basic/hpgp, to appear.
- 12.W. Windsteiger and B. Buchberger. GRÖBNER: A Library for Computing Gröbner Bases based on SACLIB. Technical Report 93-72, RISC-Linz, 1993.Google Scholar