Type Specialization in Aldor

  • Laurentiu Dragan
  • Stephen M. Watt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6244)


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.


Computer Algebra Data Representation Polynomial Multiplication Nest Type Partial Evaluator 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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)Google Scholar
  2. 2.
    Aldor User Guide (2000),
  3. 3.
    Watt, S.M.: Aldor. In: Grabmeier, J., Kaltofen, E., Weispfenning, V. (eds.) Handbook of Computer Algebra, pp. 265–270. Springer, Heidelberg (2003)Google Scholar
  4. 4.
    Jones, N., Gomard, C., Sestoft, P.: Partial Evaluation And Automatic Program Generation. Prentice Hall, Englewood Cliffs (1993), ISBN 0-13-020249-5zbMATHGoogle Scholar
  5. 5.
    Watt, S.M., Broadbery, P.A., Iglio, P., Morrison, S.C., Steinbach, J.M.: FOAM: First Oder Abstract Machine,
  6. 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-9Google Scholar
  7. 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-2Google Scholar
  8. 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)Google Scholar
  9. 9.
    Stepanov, A.A.: Appendix D.3 of Technical Report on C++ Performance, ISO/IEC PDTR 18015 (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Laurentiu Dragan
    • 1
  • Stephen M. Watt
    • 1
  1. 1.Computer Science DepartmentThe University of Western OntarioLondonCanada

Personalised recommendations