Dragan, Laurentiu; Watt, Stephen M. Type specialization in Aldor. (English) Zbl 1290.68133 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 73-84 (2010). Summary: Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametric polymorphism provide a natural and expressive language for mathematical abstractions, they can come at a considerable cost. We investigate how deeply nested type constructions may be optimized to achieve performance similar to that of hand-tuned code written in lower-level languages.For the entire collection see [Zbl 1195.68004]. MSC: 68W30 Symbolic computation and algebraic computation Software:ALDOR PDFBibTeX XMLCite \textit{L. Dragan} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 6244, 73--84 (2010; Zbl 1290.68133) Full Text: DOI References: [1] Watt, S.M., Broadbery, P.A., Dooley, S.S., Iglio, P., Steinbach, J.M., Sutor, R.S.: A First Report on the A # Compiler. In: Proc. ISSAC 1994, pp. 25–31. ACM Press, New York (1994) [2] Aldor User Guide (2000), http://www.aldor.org/ [3] Watt, S.M.: Aldor. In: Grabmeier, J., Kaltofen, E., Weispfenning, V. (eds.) Handbook of Computer Algebra, pp. 265–270. Springer, Heidelberg (2003) [4] Jones, N., Gomard, C., Sestoft, P.: Partial Evaluation And Automatic Program Generation. Prentice Hall, Englewood Cliffs (1993), ISBN 0-13-020249-5 · Zbl 0875.68290 [5] Watt, S.M., Broadbery, P.A., Iglio, P., Morrison, S.C., Steinbach, J.M.: FOAM: First Oder Abstract Machine, http://www.aldor.org · Zbl 0945.68511 [6] Dragan, L., Watt, S.M.: Parametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra. In: Maple Summer Workshop, Waterloo, Canada, pp. 243–259 (2005), ISBN 1-89451-185-9 · Zbl 1114.68617 [7] Dragan, L., Watt, S.M.: Performance Analysis of Generics in Scientific Computing. In: Proceedings of Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, pp. 90–100 (2005), ISBN 0-7695-2453-2 [8] Choi, J.-D., Gupta, M., Serrano, M., Shreedhar, V.C., Midkiff, S.: Escape Analysis for Java. In: Proc. OOPSLA 1999, pp. 1–19. ACM Press, New York (1999) [9] Stepanov, A.A.: Appendix D.3 of Technical Report on C++ Performance, ISO/IEC PDTR 18015 (2003) This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.