Towards automatic partial evaluation for the C++ language

Partial evaluation is a high-level optimization technique that, given a program text and some of its input, generates a specialized program. It has been studied in depth for functional, imperative, logic languages, and, more recently, for object-oriented languages. Many program specializers have been developed for languages such as Scheme, C, or even Java. Yet, while many opportunities for applying partial evaluation exist in areas involving scien-tific computing, no tools are available for the C++ language. For a few years now, C++ programmers have used template metaprogramming techniques to achieve compile-time computations and efficient program optimizations, which turned out to be a primitive form of partial evaluation. We extend this approach with a simple program transformation system performing gener-ation of static metaprograms from classic code. This tool is used to provide automatic partial evaluation for the C++ language