Debugging C++ template metaprograms

Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE'06

Volumn , Issue , 2006, Pages 255-264

  Porkoláb, Zoltán ^a   Mihalicza, József ^a   Sipos, Ádám ^a  

^a EÖTVÖS LORÁND UNIVERSITY   (Hungary)

Author keywords

C++; Debugging; Template metaprogramming

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; FEATURE EXTRACTION; METADATA; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; TEMPLATE MATCHING;

COMPILE-TIME METAPROGRAMS; RUNTIME PROGRAMS; SOFTWARE INDUSTRY; TEMPLATE METAPROGRAMMING;

PROGRAM DEBUGGING;

EID: 34547441903     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1173706.1173746     Document Type: Conference Paper

References (28)

1. David Abrahams, Aleksey Gurtovoy: C++ template metaprogramming, Concepts, Tools, and Techniques from Boost and Beyond. Addison-Wesley, Boston, 2004.
2. Andrei Alexandrescu: Modern C++ Design: Generic Programming and Design Patterns Applied. Addison-Wesley (2001)
3. ANSI/ISO C++ Committee. Programming Languages - C++. ISO/IEC 14882:1998(E). American National Standards Institute, 1998.
4. Krzysztof Czarnecki, Ulrich W. Eisenecker: Generative Programming: Methods, Tools and Applications. Addison-Wesley (2000)
5. Ulrich W. Eisenecker, Frank Blinn and Krzysztof Czarnecki: A Solution to the Constructor-Problem of Mixin-Based Programming in C++. In First C++ Template Programming Workshop, October 2000, Erfurt.
6. Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock: A Comparative Study of Language Support for Generic Programming. Proceedings of the 18th ACM SIGPLAN OOPSLA 2003, pp. 115-134.
7. Björn Karlsson: Beyond the C++ Standard Library, A Introduction to Boost. Addison-Wesley, 2005.
8. David R. Musser and Alexander A. Stepanov: Algorithm-oriented Generic Libraries. Software-practice and experience, 27(7) July 1994, pp. 623-642.
9. David R. Musser and Alexander A. Stepanov: The Ada Generic Library: Linear List Processing Packages. Springer Verlag, New York, 1989.
10. Brian McNamara, Yannis Smaragdakis: Static interfaces in C++. In First C++ Template Programming Workshop, October 2000, Erfurt.
11. Krisztián Pócza, Mihály Biczó, Zoltán Porkoláb: Cross-language Program Slicing in the NET Framework. Journal of NET Technologies Vol. 3., Number 1-3, 2005 pp. 141-150.
12. Jeremy Siek and Andrew Lumsdaine: Concept checking: Binding parametric polymorphism in C++. In First C++ Template Programming Workshop, October 2000, Erfurt.
13. Jeremy Siek and Andrew Lumsdaine: Essential Language Support for Generic Programming. Proceedings of the ACM SIGPLAN 2005 conference on Programming language design and implementation, New York, NY USA, pp 73-84.
14. Jeremy Siek: A Language for Generic Programming. PhD thesis, Indiana University, August 2005.
15. Ádám Sipos: Effective Metaprogramming. M.Sc. Thesis. Budapest, 2006.
16. Bjarne Stroustrup: The C++ Programming Language Special Edition. Addison-Wesley (2000)
17. Bjarne Stroustrup: The Design and Evolution of C++. Addison-Wesley (1994)
18. Gabriel Dos Reis, Bjarne Stroustrup: Specifying C++ concepts. Proceedings of the 33rd ACM SIGPLAN-S1GACT Symposium on Principles of Programming Languages (POPL), 2006: pp. 295-308.
19. Erwin Unruh: Prime number computation. ANSI X3J16-94-0075/ISO WG21-462.
20. David Vandevoorde, Nicolai M. Josuttis: C++ Templates: The Complete Guide. Addison-Wesley (2003)
21. Todd Veldhuizen: Using C++ Template Metaprograms. C++ Report vol. 7, no. 4, 1995, pp. 36-43.
22. Todd Veldhuizen: Expression Templates. C++ Report vol. 7, no. 5, 1995, pp. 26-31.
23. István Zólyomi, Zoltán Porkoláb, Tamás Kozsik: An extension to the subtype relationship in C++. GPCE 2003, LNCS 2830 (2003), pp. 209 - 227.
24. István Zólyomi, Zoltán Porkoláb: Towards a template introspection library. LNCS Vol.3286 pp.266-282 2004.
25. Boost Concept checking. http://www.boost.org/libs/concept_check/ concept_check.htm
26. Boost Metaprogramming library. http://www.boost.org/libs/mpl/doc/index. html
27. Boost Preprocessor library. http://www.boost.org/libs/preprocessor/doc/ index.html
28. Boost Static assertion. http://www.boost.org/regression-logs/cs- win32_metacomm/doc/html/boost_statreassert.html