Compile-time Computation of Polytime Functions
Дата
Авторы
Covino,Emanuele
Pani,Giovanni
Scrimieri,Daniele
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechanism to de¯ne primitive recursion, composition, and minimalization. We show that polynomial time computable functions can be computed at compile-time using the same mechanism, together with template specialization.
Ключевые слова
static computation , C++ templates , polytime computable functions