Library transformations

Proceedings - 1st IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2001, Pages 109-121

  Schupp, S ^a   Gregor, D ^a   Musser, D ^a   Liu, Shin Ming ^b  

^a RENSSELAER POLYTECHNIC INSTITUTE   (United States)

^b HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COSINE TRANSFORMS;

DESIGN AND IMPLEMENTATIONS; SOFTWARE LIBRARIES; SOFTWARE METHODOLOGIES; SOURCE CODE TRANSFORMATION;

C++ (PROGRAMMING LANGUAGE);

EID: 84963808562     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2001.972672     Document Type: Conference Paper

References (32)

1. I. F. 14882. International Standard for the C++ Programming Language. American National Standards Institute (ANSI), X3 Secretariat, 1250 Eye Street NW, Suite 200, Washington, DC 20005, 1998.
2. U. Aßmann. OPTIMIX, A Tool for Rewriting and Optimizing Programs. Chapman-Hall, 1998.
3. U. Aßmann and A. Ludwig. Aspect Weaving by Graph Rewriting. In U. W. Eisenecker and K. Czarnecki, editors, Generative Component-based Software Engineering (GCSE), number 1799 in Lecture Notes in Computer Science, Erfurt, Oct. 1999.
4. M. Austern. Generic Programming and the STL: using and extending the C++ Standard Template Library. Addison-Wesley, 1999.
5. CodeSourcery, LLC. G++ Internal Representation, August 2000. http://gcc.gnu.org/onlinedocs.
6. K. Czarnecki and U. W. Eisenecker. Generative Programming - Towards a New Paradigm of Software Engineering. Addison Wesley Longman, 2000.
7. K. Davis and D. Quinlan. ROSE II: An optimizing code transformer for C++ object-oriented array class libraries. In Workshop on Parallel Object-Oriented Scientific Computing (POOSC'98), at 12th European Conference on Object-Oriented Programming (ECOOP'98), volume 1543 of LNCS. Springer Verlag, 1998.
8. B. Dawes and D. Abrahams. Boost. http://www.boost.org.
9. D. R. Engler. Interface compilation: steps toward compiling programs. Transactions on Software Engineering, 25(3), 1999.
10. S. Z. Guyer and C. Lin. An annotation language for optimizing software libraries. In T. Ball, editor, 2nd Conference on Domain-Specific Languages. Usenix, 1999.
11. S. G. Inc. Standard Template Library Programmer's Guide. http://www.sgi.com/tech/stl/, 1997.
12. N. Jones. An introduction to partial evaluation. ACM Computing Surveys, 28(3):480-503, 1996.
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 A. A. Stepanov. Tecton: A language for manipulating generic objects. In J. Staunstrup, editor, Proceedings of a Workshop on Program Specification, volume 134 of LNCS, pages 402-414, Aarhus, Denmark, Aug. 1981. Springer.
15. G. Kiczales, E. Hisdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. An overview of AspectJ. In European Conference on Object-Oriented Programming (ECOOP'01), 2001.
16. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwi. Aspect-oriented programming. In European Conference on Object-Oriented Programming (ECOOP'97), 1997.
17. D. Lacey and O. de Moor. Imperative program transformation by rewriting. In R. Wilhelm, editor, International Conference on Compiler Construction, Springer Lecture Notes in Computer Science, pages 52-68, 2001.
18. K. J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, Boston, 1996. ISBN 0-534-94602-X.
19. S. B. Lippman. C++ Gems. Cambridge University Press, December 1996.
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. N. Myers. A new and useful template technique. In C++ Gems [19].
23. H. Ossher, M. Kaplan, W. Harrison, A. Katz, and V. Kruskal. Subject-oriented composition rules. In Proc. of the 1992 Conf. on Object-oriented Programming Systems, Languages and Applications, 1992.
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. S. Schupp, D. Gregor, D. Musser, and S.-M. Liu. User-extensible simplification - type-based optimizer generators. In R. Wilhelm, editor, International Conference on Compiler Construction, Springer Lecture Notes in Computer Science, pages 86-101, 2001.
26. J. G. Siek and A. Lumsdaine. The Matrix Template Library: A generic programming approach to high performance numerical linear algebra. In International Symposium on Computing in Object-Oriented Parallel Environments, 1998.
27. C. Simonyi. The future is intentional. IEEE Computer, 1999.
28. The LiDIA Group. Lidia - a C++ library for computational number theory. http://www.informatik.tu-darmstadt.de/TI/LiDIA/.
29. T. Veldhuizen. Blitz++. http://oonumerics.org/blitz.
30. T. Veldhuizen. Expression templates. In C++ Gems [19].
31. R. Wille. Restructuring lattice theory: An approach based on hierarchies of concepts. In I. Rival, editor, Ordered Sets, pages 445-470. Reidel, Dordrecht-Boston, 1982.
32. R. Wille. Concept lattices and conceptual knowledge systems. Computers and Mathematics with Applications, 23:493-522, 1992.