User-extensible simplification—type–based optimizer generators

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2027, Issue , 2001, Pages 86-101

  Schupp, Sibylle ^a   Gregor, Douglas ^a   Musser, David ^a   Liu, Shin Ming ^b  

^a RPI   (United States)

^b HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES; PROGRAM COMPILERS; SEMANTICS;

ABSTRACT LEVELS; DESIGN DECISIONS; FUNCTIONAL SPECIFICATION; LEVEL OF ABSTRACTION; OPTIMIZERS; PERFORMANCE MEASUREMENTS; SEMANTIC INFORMATION; TEMPLATE LIBRARIES;

C++ (PROGRAMMING LANGUAGE);

EID: 84947295362     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45306-7_7     Document Type: Conference Paper

References (37)

1. A. V. Aho and S. C. Johnson. Optimal code generation for expression trees. JACM, 23(3):488-501, 1976.
2. M. Austern. Generic Programming and the STL: Using and Extending the C++ Standard Template Library. Addison-Wesley, 1999.
3. S. Chiba. A metaobject protocol for C++. In Proc. Of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 285-299, Oct. 1995.
4. Code Sourcery, LLC. G++ Internal Representation, August 2000. http://gcc.gnu.org/onlinedocs.
5. K. Czarnecki and U. W. Eisenecker. Generative Programming|Towards a New Paradigm of Software Engineering. Addison Wesley Longman, 2000.
6. K. Davis and D. Quinlan. ROSE II: An optimizing code transformer for C++ object-oriented array class libraries. In Workshop on Parallel Object-Oriented Sci- entific Computing (POOSC'98), at 12th European Conference on Object-Oriented Programming (ECOOP'98), volume 1543 Of LNCS. Springer Verlag, 1998.
7. C. W. Fraser, D. R. Hanson, and T. A. Proebsting. Engineering a simple, efficient code generator. ACM TOPLAS, 1(3):213-226, 1992.
8. C. W. Fraser, R. Henry, and T. A. Proebsting. BURG|fast optimal instruction selection and tree parsing. SIGPLAN Notices, 4(27):68-76, 1992.
9. D. Q. Frederico Bassetti, Kei Davis. C++ expression templates performance issues in scientific computing. In 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, 1998.
10. D. P. Gregor, S. Schupp, and D. Musser. User-extensible simplification. A case study using MTL and LiDIA. Technical Report TR-00-7, Rensselaer Polytechnic Institute, 2000.
11. S. Z. Guyer and C. Li. An annotation language for optimizing software libraries. In T. Ball, editor, 2nd Conference on Domain-Specific Languages. Usenix, 1999.
12. S. Haney, J. Crotinger, S. Karmesin, and S. Smith. PETE, the portable expression template engine. Technical Report LA-UR-99-777, Los Alamos National Labora- tory, 1995.
13. D. Kapur and D. R. Musser. Tecton: A language for specifying generic system components. Technical Report 92-20, Rensselaer Polytechnic Institute Computer Science Department, July 1992.
14. D. Kapur, D. R. Musser, and X. Nie. An overview of the Tecton proof system. Theoretical Computer Science, 133:307-339, October 24 1994.
15. L.-Q. Lee, J. Siek, and A. Lumsdaine. The generic graph component library. In Proc. Of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '99), volume 34, pages 399-414, 1999.
16. K. J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, Boston, 1996. ISBN 0-534- 94602-X.
17. S. B. Lippman. C++ Gems. Cambridge University Press, December 1996.
18. M. Mitchell. Type-based alias analysis. Dr.Dobb's Journal, October 2000.
19. J. E. Moreira, S. P. Midkifi, and M. Gupta. From flop to megaflops: Java for technical computing. ACM TOPLAS, 22(3):265-295, March 2000.
20. D. Musser and A. Saini. STL Tutorial and Reference Guide. C++ Programming with the Standard Template Library. Addison-Wesley, 1996.
21. D. Musser, S. Schupp, and R. Loos. Requirements-oriented programming. In M. Jazayeri, R. Loos, and D. Musser, editors, Generic Programming|International Seminar, Dagstuhl Castle,Germany 1998, Selected Papers, volume 1766 of Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, Germany, 2000.
22. D. Musser and A. Stepanov. The ADA Generic Library: Linear List Processing Packages. Springer-Verlag, 1989.
23. N. Myers. A new and useful template technique. In C++ Gems [17].
24. J. V. Reynders, P. J. Hinker, J. C. Cummings, S. R. Atlas, S. Banerjee, W. F. Humphrey, S. R. Karmesin, K. Keahey, M. Srikant, and M. Tholburn. POOMA: A framework for scientific simulations on parallel architectures. In G. V. Wilson and P. Lu, editors, Parallel Programming using C++, pages 553-594. MIT Press, 1996.
25. Scale Compiler Group, Dept. of Comp. Science, Univ. Massachusetts. A scalable compiler for analytical experiments. http://www-ali.cs.umass.edu/Scale, 2000.
26. S. Schupp, D. P. Gregor, and D. Musser. Algebraic concepts represented in C++. Technical Report TR-00-8, Rensselaer Polytechnic Institute, 2000.
27. J. G. Siek. A modern framework for portable high performance numerical linear algebra. Master's thesis, Notre Dame, 1999.
28. J. G. Siek and A. Lumsdaine. The Matrix Template Library: A generic program- ming approach to high performance numerical linear algebra. In International Symposium on Computing in Object-Oriented Parallel Environments, 1998.
29. C. Simonyi. The future is intentional. IEEE Computer, 1999.
30. A. A. Stepanov and M. Lee. The Standard Template Library. Technical Report HP-94-93, Hewlett-Packard, 1995.
31. B. Stroustrup. The C++ programming language, Third Edition. Addison-Wesley, 3 edition, 1997.
32. The LiDIA Group. Lidia|a C++ library for computational number theory. http://www.informatik.tu-darmstadt.de/TI/LiDIA/.
33. T. Veldhuizen. Blitz++. http://oonumerics.org/blitz.
34. T. Veldhuizen. Expression templates. In C++ Gems [17].
35. R. Wille. Restructuring lattice theory: An approach based on hierarchies of con- cepts. In I. Rival, editor, Ordered Sets, pages 445-470. Reidel, Dordrecht-Boston, 1982.
36. R. Wille. Concept lattices and conceptual knowledge systems. Computers and Mathematics with Applications, 23:493-522, 1992.
37. P. Wu, S. P. Midkifi, J. E. Moreira, and M. Gupta. Efficient support for complex numbers in Java. In Proceedings of the ACM Java Grande Conference, 1999.